Jmw150

"We are the music makers, and we are the dreamers of dreams."

Pinned Repositories

Algebra
Just some modern algebra things
Language:C2 1 00
BrainGAN
A neural network GAN generator, optimized to generate images of brains
Language:Python3 2 00
cocoalib
http://cocoa.dima.unige.it/cocoalib/
Language:C2 1 00
Complex-Display-Space
A python script to display function mappings on complex numbers
Language:Python3 2 01
Computational-Science
numerical analysis algorithms
Language:Python3 2 00
computercraft.code
code for a minecraft mod called computercraft
Language:Lua2 2 00
Coq-VST-DLC
Language:Coq1 2 00
mylisp
A language I made in pure c99
Language:C3 2 00
track_time
text based study time tracker
Language:Python2 2 00
deepbugs-jr
A replication of DeepBugs
Language:Python2 2 331

Jmw150's Repositories

Jmw150/Algebra
Just some modern algebra things
Language:C2 1 00
Jmw150/track_time
text based study time tracker
Language:Python2 2 00
Jmw150/HoTT
Homotopy type theory
Language:Coq1 2 0
Jmw150/jmw150.github.io
Language:HTML1 2 01
Jmw150/proof-mouse
Language:Python1 0 0
Jmw150/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell0 0
Jmw150/cbmc
C Bounded Model Checker
Language:SWIG0 0
Jmw150/certicoq
A Verified Compiler for Gallina, Written in Gallina
Language:Coq0 0
Jmw150/ChezScheme
Chez Scheme
Language:Scheme0 0
Jmw150/clasp
clasp Common Lisp environment
Language:C++0 0
Jmw150/CompCert
The CompCert formally-verified C compiler
Language:Coq
Jmw150/corn-coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Language:Coq0 0
Jmw150/d2l-en
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 300 universities from 55 countries including Stanford, MIT, Harvard, and Cambridge.
Language:Python0 0
Jmw150/dafny
Dafny is a verification-aware programming language
Language:C#0 0
Jmw150/dale
Lisp-flavoured C
Language:C++0 0
Jmw150/grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Language:ANTLR0 0
Jmw150/gubpi
GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior
Language:F#0 0
Jmw150/libvata
VATA Tree Automata Library
Language:Roff0 0
Jmw150/linux
Linux kernel source tree
Language:C2 0
Jmw150/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
0 0
Jmw150/malbolge-lisp
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
Language:TeX0 0
Jmw150/Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
Language:Julia0 0
Jmw150/minetest
Minetest is an open source voxel game engine with easy modding and game creation
Language:C++0 0
Jmw150/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml0 0
Jmw150/ocamlformat
Auto-formatter for OCaml code
Language:OCaml0 0
Jmw150/raylib
A simple and easy-to-use library to enjoy videogames programming
Language:C0 0
Jmw150/set.mm
Metamath source file for logic and set theory
Language:HTML0 0
Jmw150/topology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
Language:Coq0 0
Jmw150/z3
The Z3 Theorem Prover
Language:C++0 0
Jmw150/Zygote.jl
21st century AD
Language:Julia0 0