リポジトリ

joelburget のリポジトリ

200 件の対応リポジトリ

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

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

最終コミット 2018/04/15

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

最終コミット 2018/05/06

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

最終コミット 2018/05/28

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

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

最終コミット 2018/05/02

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

Corewar in Javascript

最終コミット 2011/04/26

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

Data-Driven Declarative Documents

最終コミット 2016/07/18

 (815 stars) (20 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/daily-typecheckersHaskell

I'm writing a typechecker every day

最終コミット 2016/05/19

 (9 stars) (0 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/data-lens-templateHaskell

Template Haskell utilities for Data.Lens

最終コミット 2011/08/13

 (4 stars) (7 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/diagrams-contribHaskell

User-contributed extensions to diagrams

最終コミット 2013/10/11

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

diagrams backend that renders directly to an HTML5 canvas

最終コミット 2013/11/06

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

An OpenGL Backend for Diagrams

最終コミット 2013/05/20

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

🤗 Diffusers: State-of-the-art diffusion models for image and audio generation in PyTorch

最終コミット 2022/10/08

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

Free and short JS.ORG domains for GitHub Pages

最終コミット 2016/07/03

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

My important config files

最終コミット 2025/05/15

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

cooperative idris

最終コミット 2014/09/10

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

Simple testing toolkit

最終コミット 2021/05/28

 (10 stars) (7 forks) (0 件の索引済み issue) (0 件のオープンな good first issue)
joelburget/einsum-in-depthOCaml

Interactive Einsum Tutorial

最終コミット 2026/08/13

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

Minimal EVM implementation in Rust

最終コミット 2018/03/28

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

Adds static typing to JavaScript to improve developer productivity and code quality.

最終コミット 2014/11/18

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

最終コミット 2018/01/02

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