仓库

joelburget 的仓库

200 个支持的仓库

只显示包含已索引 issue 的仓库
joelburget/ClutterhsHaskell

Clutter Haskell bindings

最近提交 2012年4月14日

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

In-browser code editor

最近提交 2019年8月23日

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

CodeMirror 6 bindings for OCaml

最近提交 2021年4月24日

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

Good Smelling Ray Tracer

最近提交 2011年5月27日

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

Define relationships between class attributes via equations of constraint.

最近提交 2020年9月15日

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

Real numbers with decidable equality

最近提交 2026年8月21日

 (2 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first issue)
joelburget/control-problemJavaScript

最近提交 2016年8月9日

 (0 stars) (0 forks) (0 个已索引 issue) (0 个开放 good first 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)