Pinned Repositories
agape
Tool for exploring game systems
aoc16-haskell
Advent of Code 2016 solutions in Haskell
diagrams-opengl
OpenGL Backend for Diagrams DSL
dna-analysis
ecats
An editor for category theory
euler
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
rigid-body
Rigid Body Dynamics
wiktionary-parser
Tools to deal with wiktionary xml dumps
mbernat's Repositories
mbernat/ecats
An editor for category theory
mbernat/dna-analysis
mbernat/euler
mbernat/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
mbernat/wiktionary-parser
Tools to deal with wiktionary xml dumps
mbernat/agape
Tool for exploring game systems
mbernat/aoc16-haskell
Advent of Code 2016 solutions in Haskell
mbernat/bevy_surface
mbernat/bunny
mbernat/confs
Simple configuration files for xmonad & co.
mbernat/contact
mbernat/country-select
mbernat/cryptopals
Cryptopals challenge solutions in Haskell
mbernat/datasciencecoursera
mbernat/datasharing
The Leek group guide to data sharing
mbernat/dune
A composable build system for OCaml.
mbernat/dynamic-network
Playing with rendering of dynamic graphs
mbernat/fluit
Fluid dynamics experiments
mbernat/IMG
Match event processor in Scala
mbernat/lambda
Toying with lambda calculus in Ocaml
mbernat/mbernat.github.io
My blog
mbernat/ocaml
The core OCaml system: compilers, runtime system, base libraries
mbernat/ocaml-sdl
mbernat/optimization
Various optimization junk
mbernat/particles
mbernat/pheng
Toy 2d physics engine
mbernat/ptrace
Toying with ptrace to observe a guest process
mbernat/reason-react-example
Examples for ReasonReact
mbernat/simple-example-node
mbernat/xkollar.github.io