Repositories

joelburget repositories

200 supported repositories

Show repositories with indexed issues
joelburget/sbvHaskell

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Last commit Nov 15, 2018

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

Selected Papers of Dana S. Scott

Last commit Oct 11, 2022

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/sdl2-gfxHaskell

Haskell bindings to SDL2_gfx

Last commit Dec 5, 2013

 (2 stars) (3 forks) (0 indexed issues) (0 open good first issues)
joelburget/sdl2-imageHaskell

Haskell bindings to sdl_image for SDL 2

Last commit Nov 18, 2013

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/sdl2-ttfHaskell

Haskell bindings for SDL(2)-ttf

Last commit Nov 17, 2013

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

Last commit Dec 10, 2018

 (2 stars) (1 fork) (0 indexed issues) (0 open good first issues)
joelburget/shadeHaskell

Interactive, client-side web apps in Haskell

Last commit Jul 6, 2014

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/simplicity-hsHaskell

Implementation of "Simplicity: A New Language for Blockchains"

Last commit Feb 10, 2018

 (8 stars) (1 fork) (0 indexed issues) (0 open good first issues)
joelburget/slackinJavaScript

Public Slack organizations made easy

Last commit Feb 7, 2015

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

A completely customizable framework for building rich text editors.

Last commit Oct 17, 2016

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

SLiM + slock = slimlock

Last commit Apr 16, 2013

 (41 stars) (16 forks) (0 indexed issues) (0 open good first issues)
joelburget/snakestachePython

Do you hate yourself? Render handlebars templates in Python.

Last commit Mar 7, 2013

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

The Solidity Contract-Oriented Programming Language

Last commit Oct 10, 2017

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/soundcloud-javascriptCoffeeScript

Official SoundCloud Javascript SDK

Last commit Mar 9, 2013

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

"Stable Hackage": vetted consistent packages from Hackage

Last commit Feb 14, 2019

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/structured-editingJavaScript

Last commit Nov 15, 2016

 (5 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/styled-jsxJavaScript

Full CSS support for JSX without compromises

Last commit May 28, 2017

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/svg-test-animationJavaScript

The grass is always greener!

Last commit Mar 23, 2015

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
joelburget/symmetric-propertiesHaskell

`Same` / `Unique` monoidal witnesses

Last commit Jan 15, 2019

 (1 star) (1 fork) (0 indexed issues) (0 open good first issues)
joelburget/system-lfAgda

linear logic and system f have a baby

Last commit Jul 21, 2017

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