Repositories

joelburget repositories

200 supported repositories

Show repositories with indexed issues
joelburget/ClutterhsHaskell

Clutter Haskell bindings

Last commit Apr 14, 2012

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/CodeMirrorJavaScript

In-browser code editor

Last commit Aug 23, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/codemirror-ocamlJavaScript

CodeMirror 6 bindings for OCaml

Last commit Apr 24, 2021

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/CologneHaskell

Good Smelling Ray Tracer

Last commit May 27, 2011

 (6 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/constraintulaPython

Define relationships between class attributes via equations of constraint.

Last commit Sep 15, 2020

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/constructive-realsOCaml

Real numbers with decidable equality

Last commit Aug 21, 2026

 (2 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/control-problemJavaScript

Last commit Aug 9, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
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.

Last commit Apr 15, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/coq-bucklescriptJavaScript

Last commit May 6, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/coq-remote-pluginMakefile

Last commit May 28, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/coq-serapiOCaml

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

Last commit May 2, 2018

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/corewarjsJavaScript

Corewar in Javascript

Last commit Apr 26, 2011

 (3 stars) (2 forks) (0 indexed issues) (0 open good first issues)
joelburget/d4JavaScript

Data-Driven Declarative Documents

Last commit Jul 18, 2016

 (815 stars) (20 forks) (0 indexed issues) (0 open good first issues)
joelburget/daily-typecheckersHaskell

I'm writing a typechecker every day

Last commit May 19, 2016

 (9 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/data-lens-templateHaskell

Template Haskell utilities for Data.Lens

Last commit Aug 13, 2011

 (4 stars) (7 forks) (0 indexed issues) (0 open good first issues)
joelburget/diagrams-contribHaskell

User-contributed extensions to diagrams

Last commit Oct 11, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/diagrams-ghcjsHaskell

diagrams backend that renders directly to an HTML5 canvas

Last commit Nov 6, 2013

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/diagrams-openglHaskell

An OpenGL Backend for Diagrams

Last commit May 20, 2013

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/diffusersPython

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

Last commit Oct 8, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/dns.js.orgJavaScript

Free and short JS.ORG domains for GitHub Pages

Last commit Jul 3, 2016

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)