仓库

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年4月15日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/coq-bucklescriptJavaScript

最近提交 2018年5月6日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/coq-remote-pluginMakefile

最近提交 2018年5月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年5月2日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/corewarjsJavaScript

Corewar in Javascript

最近提交 2011年4月26日

 (3 stars) (2 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/d4JavaScript

Data-Driven Declarative Documents

最近提交 2016年7月18日

 (815 stars) (20 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/daily-typecheckersHaskell

I'm writing a typechecker every day

最近提交 2016年5月19日

 (9 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/data-lens-templateHaskell

Template Haskell utilities for Data.Lens

最近提交 2011年8月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月6日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/diagrams-openglHaskell

An OpenGL Backend for Diagrams

最近提交 2013年5月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月8日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/dns.js.orgJavaScript

Free and short JS.ORG domains for GitHub Pages

最近提交 2016年7月3日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/dotfilesShell

My important config files

最近提交 2025年5月15日

 (6 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/dragginJavaScript

cooperative idris

最近提交 2014年9月10日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/easytestHaskell

Simple testing toolkit

最近提交 2021年5月28日

 (10 stars) (7 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/einsum-in-depthOCaml

Interactive Einsum Tutorial

最近提交 2026年8月13日

 (5 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/evm-rustRust

Minimal EVM implementation in Rust

最近提交 2018年3月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年1月2日

 (1 star) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)