Repositories

joelburget repositories

200 supported repositories

Show repositories with indexed 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)
joelburget/dotfilesShell

My important config files

Last commit May 15, 2025

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

cooperative idris

Last commit Sep 10, 2014

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

Simple testing toolkit

Last commit May 28, 2021

 (10 stars) (7 forks) (0 indexed issues) (0 open good first issues)
joelburget/einsum-in-depthOCaml

Interactive Einsum Tutorial

Last commit Aug 13, 2026

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/evm-rustRust

Minimal EVM implementation in Rust

Last commit Mar 28, 2018

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

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

Last commit Nov 18, 2014

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

Last commit Jan 2, 2018

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)