リポジトリ

joelburget のリポジトリ

200 件の対応リポジトリ

索引済み issue があるリポジトリを表示
joelburget/symmetric-propertiesHaskell

`Same` / `Unique` monoidal witnesses

最終コミット 2019/01/15

 (1 star) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/system-lfAgda

linear logic and system f have a baby

最終コミット 2017/07/21

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/taplHaskell

Types and Programming Languages, in Haskell

最終コミット 2015/01/30

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/tensor-diagramsTypeScript

Tensor diagrams - Penrose graphical notation in D3.js

最終コミット 2023/12/14

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/terraform-nixosHCL

A set of Terraform modules that are designed to deploy NixOS [maintainer=@adrian-gierakowski]

最終コミット 2025/03/28

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/tinker-cookbookPython

Post-training with Tinker

最終コミット 2026/06/30

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/toy-modelJupyter Notebook

最終コミット 2022/12/17

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/transformer-arithmeticPython

最終コミット 2022/10/28

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/transformer-gradient-interpJupyter Notebook

最終コミット 2023/04/25

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/trust-tokensPython

最終コミット 2025/03/09

 (2 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/ts2ocamlF#

Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

最終コミット 2021/11/24

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/tuple-morphHaskell

Morph between tuples with the same "flattened" representation.

最終コミット 2019/02/01

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/turbo-unifyHaskell

a unification visualization in the browser

最終コミット 2013/11/09

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/typed-algebraic-parsingOCaml

An implementation of "A Typed, Algebraic Approach to Parsing"

最終コミット 2022/03/21

 (11 stars) (1 fork) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/tyxmlOCaml

Build valid HTML and SVG documents

最終コミット 2020/12/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/url-unshortJavaScript

Short links expander for node.js

最終コミット 2025/01/22

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/userscriptsJavaScript

Dumping ground for Chrome User Scripts that I find useful

最終コミット 2012/12/26

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/vim2hsVim Script

vim2hs :: Vim -> Haskell

最終コミット 2013/12/04

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/websiteJavaScript

The old joelburget.com

最終コミット 2016/06/14

 (1 star) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/whoamiTypeScript

your personal encyclopedia, written by agents

最終コミット 2026/03/28

 (0 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)