Repository

Repository di joelburget

200 repository supportati

Mostra repository con issue indicizzate
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.

Ultimo commit 15 apr 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/coq-bucklescriptJavaScript

Ultimo commit 6 mag 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/coq-remote-pluginMakefile

Ultimo commit 28 mag 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/coq-serapiOCaml

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

Ultimo commit 2 mag 2018

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/corewarjsJavaScript

Corewar in Javascript

Ultimo commit 26 apr 2011

 (3 star) (2 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/d4JavaScript

Data-Driven Declarative Documents

Ultimo commit 18 lug 2016

 (815 star) (20 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/daily-typecheckersHaskell

I'm writing a typechecker every day

Ultimo commit 19 mag 2016

 (9 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/data-lens-templateHaskell

Template Haskell utilities for Data.Lens

Ultimo commit 13 ago 2011

 (4 star) (7 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/diagrams-contribHaskell

User-contributed extensions to diagrams

Ultimo commit 11 ott 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/diagrams-ghcjsHaskell

diagrams backend that renders directly to an HTML5 canvas

Ultimo commit 6 nov 2013

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/diagrams-openglHaskell

An OpenGL Backend for Diagrams

Ultimo commit 20 mag 2013

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/diffusersPython

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

Ultimo commit 8 ott 2022

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/dns.js.orgJavaScript

Free and short JS.ORG domains for GitHub Pages

Ultimo commit 3 lug 2016

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/dotfilesShell

My important config files

Ultimo commit 15 mag 2025

 (6 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/dragginJavaScript

cooperative idris

Ultimo commit 10 set 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/easytestHaskell

Simple testing toolkit

Ultimo commit 28 mag 2021

 (10 star) (7 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/einsum-in-depthOCaml

Interactive Einsum Tutorial

Ultimo commit 13 ago 2026

 (5 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/evm-rustRust

Minimal EVM implementation in Rust

Ultimo commit 28 mar 2018

 (29 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/flowOCaml

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

Ultimo commit 18 nov 2014

 (0 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)
joelburget/focusingHaskell

Ultimo commit 2 gen 2018

 (1 star) (0 fork) (0 issue indicizzate) (0 good first issue aperte)