smimram

Pinned Repositories

catt
An infinity-categorical coherence typechecker
Language:OCaml15 4 00
funk
Functional kernel written in OCaml.
Language:OCaml32 7 01
learning-effect
Modeling guitar amplifiers using machine learning.
Language:OCaml8 3 00
monadic-synth
A monadic library for creating synthesizers in OCaml.
Language:OCaml31 5 02
ocaml-alg
Algebraic structures in OCaml.
Language:OCaml24 5 03
ocaml-glpk
OCaml bindings for glpk
Language:C10 4 52
ocaml-pandoc
An OCaml library for creating pandoc filters.
Language:OCaml30 3 03
satex
String diagrams in LaTeX.
Language:OCaml13 3 23
snippetor
Extract snippets from code specified by comments.
Language:OCaml10 3 00
strid
A string diagram generator for LaTeX.
Language:OCaml26 3 20

smimram's Repositories

smimram/monadic-synth
A monadic library for creating synthesizers in OCaml.
Language:OCaml31 5 02
smimram/ocaml-pandoc
An OCaml library for creating pandoc filters.
Language:OCaml30 3 03
smimram/strid
A string diagram generator for LaTeX.
Language:OCaml26 3 20
smimram/ocaml-alg
Algebraic structures in OCaml.
Language:OCaml24 5 03
smimram/catt
An infinity-categorical coherence typechecker
Language:OCaml15 4 00
smimram/satex
String diagrams in LaTeX.
Language:OCaml13 3 23
smimram/snippetor
Extract snippets from code specified by comments.
Language:OCaml10 3 00
smimram/learning-effect
Modeling guitar amplifiers using machine learning.
Language:OCaml8 3 00
smimram/mlsub
My own implementation of MLsub.
Language:OCaml8 4 00
smimram/proof-assistant-project
Template for the proof assistant project CSC_51051_EP.
Language:OCaml824
smimram/fibred-polynomials
Formalizing polynomials in groupoids.
Language:Agda7 5 01
smimram/sparkling
Perform verification of concurrent programs using syntactic regions.
Language:OCaml5 4 00
smimram/cccatt
A type theory for unbiased cartesian closed categories.
Language:OCaml3
smimram/homer
Homotopy and rewriting
Language:OCaml3 3 0
smimram/levenfind
Find pairs of similar files according to Levenshtein distance.
Language:OCaml3 3 0
smimram/ocaml-dblp
OCaml library to use the DBLP bibliographic database API.
Language:OCaml3 1 0
smimram/ocaml-nn
Neural networks in OCaml.
Language:OCaml3 2 0
smimram/div2
An Agda formalization of "division by 2" in classical ZF without choice.
Language:Agda2 3 0
smimram/ocaml-backprop
Automatic backpropagation in OCaml.
Language:OCaml2 2 0
smimram/ocaml-elaboration-zoo
Minimal implementations for dependent type checking and elaboration, in OCaml.
Language:OCaml2 3 0
smimram/regrade
Simple grading system using regular expressions.
Language:OCaml2 1 0
smimram/agda-polygraphs
Polygraphs in Agda.
Language:Agda1 2 0
smimram/cubical
An experimental library for Cubical Agda
Language:Agda1 1 0
smimram/latool
Preprocess LaTeX files.
Language:OCaml1
smimram/methml
An ML language with methods.
Language:OCaml1 2 0
smimram/opam-repository
Package descriptions for OPAM
Language:Shell1 3 0
smimram/samefind
Find multiple files with the same contents.
Language:OCaml1
smimram/bbb-render
Scripts to convert a BigBlueButton recording into a single video file
Language:Python2 0
smimram/generated-deloopings-agda
Generated deloopings in Agda.
Language:Agda1 0
smimram/openai-ocaml
OCaml bindings for OpenAI API
Language:OCaml0 0