Repositories

joelburget Repositories

200 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
joelburget/ClutterhsHaskell

Clutter Haskell bindings

Letzter Commit 14.04.2012

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/CodeMirrorJavaScript

In-browser code editor

Letzter Commit 23.08.2019

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/codemirror-ocamlJavaScript

CodeMirror 6 bindings for OCaml

Letzter Commit 24.04.2021

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/CologneHaskell

Good Smelling Ray Tracer

Letzter Commit 27.05.2011

 (6 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/constraintulaPython

Define relationships between class attributes via equations of constraint.

Letzter Commit 15.09.2020

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/constructive-realsOCaml

Real numbers with decidable equality

Letzter Commit 21.08.2026

 (2 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/control-problemJavaScript

Letzter Commit 09.08.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene 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.

Letzter Commit 15.04.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/coq-bucklescriptJavaScript

Letzter Commit 06.05.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/coq-remote-pluginMakefile

Letzter Commit 28.05.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/coq-serapiOCaml

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

Letzter Commit 02.05.2018

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/corewarjsJavaScript

Corewar in Javascript

Letzter Commit 26.04.2011

 (3 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/d4JavaScript

Data-Driven Declarative Documents

Letzter Commit 18.07.2016

 (815 Stars) (20 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/daily-typecheckersHaskell

I'm writing a typechecker every day

Letzter Commit 19.05.2016

 (9 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/data-lens-templateHaskell

Template Haskell utilities for Data.Lens

Letzter Commit 13.08.2011

 (4 Stars) (7 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/diagrams-contribHaskell

User-contributed extensions to diagrams

Letzter Commit 11.10.2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/diagrams-ghcjsHaskell

diagrams backend that renders directly to an HTML5 canvas

Letzter Commit 06.11.2013

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/diagrams-openglHaskell

An OpenGL Backend for Diagrams

Letzter Commit 20.05.2013

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/diffusersPython

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

Letzter Commit 08.10.2022

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
joelburget/dns.js.orgJavaScript

Free and short JS.ORG domains for GitHub Pages

Letzter Commit 03.07.2016

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)