JM's repositories
clojurescript
Clojure to JS compiler
Jetpack-Compose-WhatsApp-Clone
An example project to demonstrate how to build WhatsApp using Jetpack Compose.
SnapPy
SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the SnapPea kernel written by Jeff Weeks.
lean4
Lean 4 programming language and theorem prover
M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
gap
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
libmesh
libMesh github repository
cpython
The Python programming language
numpy
The fundamental package for scientific computing with Python.
mongo
The MongoDB Database
sympy
A computer algebra system written in pure Python
lapack
LAPACK development repository
compiler
Compiler for Elm, a functional language for reliable webapps.
Clp
COIN-OR Linear Programming Solver
2048
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
core
Elm's core libraries
kakulderabzahlendegeometrie
try to clean up Kalkül der abzählenden Geometrie (1879) https://archive.org/details/kalklderabzh00schuuoft
elm-d3
Elm bindings for D3.js
elm-graphics
The graphical building blocks that inspired Elm in the first place
d3js-haskell
Haskell to D3.js binding by deep EDSL approach.