mseri

ocaml-gr

[wip]…Low level bindigs to the GR plotting framework (gr-framework.org)

HP-EliteDesk-800-G2-DM-Hackintosh

ocaml-clz

Compression support for cohttp-lwt using decompress

intro_to_python

8hrs intro to python for mathematicians (Reading University, Enhancement Week)

xapitodict

Import raw xml xapi database dumps into python dictionaries or json

gsi2021

Bravetti, Seri, Zadra: New directions for contact integrators. Proceeding for GSI 2021

reason-mobile

auriga

Auriga is a minimalist LaTeX beamer presentation theme 📽

blackholes

Some experiments on light and black holes

Comparison-Programming-Languages-Economics

A Comparison of Programming Languages in Economics

dkml-c-probe

Cross-compiler friendly characterizations of the OCaml's native C compiler

dune

A composable build system for OCaml.

dune-configurator-windows-bug

eigen

Owl's OCaml Interface to Eigen3 C++ Library

gt-linalg

Interactive Linear Algebra, free online textbook at Georgia Tech

helix

A post-modern modal text editor.

macports-ports

The MacPorts ports tree

mathcal

BI's Mathematical Events Calendar

maxio

Companion daemon for the reMarkable™ paper tablet

notty

Declarative terminal graphics for OCaml

ocaml-gettext

ocaml-jupyter-binder-environment

An environment for running the ocaml-jupyter kernel in binder

ocaml-rpc

Light library to deal with RPCs in OCaml

OSCADml

OpenSCAD DSL for OCaml

owl_ode

Owl's Differential Equation Solvers

parany

Parallelize _anything_ //

Ricci-flow

An educational demo for visualizing Ricci flow, "Visualizing Ricci Flow of Manifolds of Revolution"

secp256k1-ml

Elliptic curve library secp256k1 wrapper for Ocaml

teachingplayground

wrk2

A constant throughput, correct latency recording variant of wrk