🇨🇦 Made in Canada
Discover Canada's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Canada.
TOP OCaml Projects
rgrinberg/opium
Sinatra like web toolkit for OCaml
tmattio/spin
OCaml project generator.
yawaramin/re-web
Experimental web framework for ReasonML & OCaml
Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
rgrinberg/ocaml-mustache
mustache.js logic-less templates in OCaml
essdotteedot/distributed
Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
rgrinberg/curly
Command line curl wrapper for OCaml
tmattio/inquire
🎨 Create beautiful interactive command line interface in OCaml
JacquesCarette/finally-tagless
Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
rgrinberg/onanomsg
nanomsg bindings for ocaml
reuniverse/reuniverse
📚
tmattio/omigrate
Database migrations for Reason and OCaml
tmattio/js-bindings
High-quality JavaScript bindings for OCaml
rgrinberg/lev
Low Level Bindings to Libev
rgrinberg/humane-re
The human friendly interface to ocaml-re
scastiel/parcel-reason-react
Bootstrap a Reason-React project with Parcel.
rgeoghegan/ocaml-redis
OCaml client for the Redis advanced key-value store
af/shmup.re
Learning Reason/OCaml by making an old-school canvas game.
tmattio/dream-cli
Command Line Interface for Dream applications.
yawaramin/ocaml-decimal
Arbitrary-precision floating-point decimals
yawaramin/ocaml_sql_query
PoC of functional-style SQL query
rgrinberg/bencode
Bencode (.torrent file format) reader/writer in OCaml
rgrinberg/stringext
Extra string functions for OCaml
tmattio/dream-livereload
Live reloading for Dream applications
yawaramin/re-hyperapp
Almost zero-cost bindings for the https://github.com/hyperapp/hyperapp UI library.
rowangithub/DOrder
DOrder -- Automatically Learning Shape Specifications
tmattio/yoshi
Convert Markdown and YAML Data to OCaml Modules
tsani/comp-302-review
Review problems for COMP 302
rgrinberg/ppx_getenv2
Sample ppx to demo making, testing, and packaging a simple ppx rewriter
essdotteedot/sessions
Library to provide session types to allow for static verification of protocols between concurrent computations.
acieroid/pcesk
Static analysis of a parallel Scheme
tmattio/dream-encoding
Encoding primitives for Dream applications.
jamii/texsearch
A search index specialised for LaTeX equations. Developed for latexsearch.com.
victornicolet/parsynt
Automatic parallel divide-and-conquer programs synthesizer
tmattio/ocaml-node
NodeJS bindings for OCaml
shanewilson/bs-blueprintjs
Reason + BuckleScript bindings to Blueprint.js
tokenrove/tsdl-image
OCaml SDL2_image bindings to go with Tsdl
musha68k/chill-netcat
UDP-only netcat implementation with OCaml / MirageOS
sfu-natlang/yarowsky
Implementation of the Yarowsky algorithm and other bootstrapping algorithms.
rgrinberg/ocaml-hamt
Mirror of: http://gitorious.org/ocaml-hamt/ocaml-hamt
SamueleGiraudo/Calimba
Language for musical creation.
mbouaziz/fsindex
Index your filesystem to find duplicates
yawaramin/dbc
Design-by-contract programming for JavaScript and ReasonML
rgrinberg/ranger
OCaml library for creating efficient ranges out of indexed data structures (arrays, strings, etc.)
alanfalloon/ocaml-quickcheck
A mechanical translation of the Haskell QuickCheck library into Ocaml
pw374/glical
glancing at iCal data using OCaml
rgrinberg/ocaml-mtl
Monad Transformers Library for OCaml
rgrinberg/async-zmq
Async wrapper around ocaml-zmq
yawaramin/bs-webapi
(WIP) BuckleScript Web API Bindings
tsani/eval
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
Isaac-DeFrain/simple-compiler
A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.
rgrinberg/opam-lock
Dump/restore opam dependencies using a lock file
tmattio/dream-analytics
Analytics framework and dashboard for your Dream applications.
tmattio/tyxml-components
Components for Tyxml, built with TailwindCSS and AlpineJS.
marcelgoh/opythn
A compiler and bytecode interpreter for a subset of Python
rgrinberg/ocamlbuild-atdgen
ocamlbuild plugin for atdgen
graphx-design/ocaml-serializers
Basic benchmarks for OCaml serializers
Isaac-DeFrain/KFramework
RChain Rholang Implementation & Materials for learning K Framework
Arash-Afshar/CoreML
This is a simple compiler, using OCaml for a variation of ML language which supports variables, application, abstraction, let polymorphism, branches, integers, and booleans. Credit: Most of the code is borrowed from http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-ml.html
rgrinberg/ocaml-json-benchmark
benchmarking OCaml json libraries
tokenrove/tsdl-mixer
SDL2_mixer bindings to go with Tsdl
aman-dureja/arm-cpu-emu
An ARM7TDMI CPU core emulator written in OCaml
yawaramin/bs-hyperapp
DEPRECATED - see https://github.com/yawaramin/re-hyperapp for a more recent (experimental) attempt
GuillaumeSalles/8-squares
rgrinberg/json-derivers
Common derviers for the Yojson and Ezjsonm json types
scrum-gang/jobhub-chrome
📌 Extension to keep track of job applications ad-hoc
dboris/ocaml-cocoa
rgrinberg/deriving-slowly
See http://rgrinberg.com/posts/deriving-slowly/
yrashk/ocaml-traits
Common traits for OCaml
DSouzaM/OCaml-Tiger
An OCaml compiler for the Tiger language
tokenrove/shred-for-satan
MIDI-driven metronome
tjtaill/re-spectacle
A reasonml binding for spectaclejs
erwanor/binbin
Convenient binary string manipulation module for OCaml
rgrinberg/ocaml-depgraph
Generate a dot graph from your OCaml sources
tokenrove/tsdl-ttf
SDL2_ttf bindings for Ocaml with Tsdl
tmattio/gettext
Internationalization and localization support for OCaml
tmattio/device-detector
User-agent and referer parser for HTTP queries.
rgrinberg/async-mvar
Port of Lwt_mvar to Async
drjdn/p5scm
This a simple scheme implementation using pa_schemer from camlp5
gnuvince/ocaml-tiger
vaquierm/GoLite_Transpiler
💻 Transpiler written in OCaml that that converts a subset of golang to C++
rgrinberg/opam-hub
Opam + Github = <3
rgrinberg/ocaml-diffbot
OCaml client for the diffbot api
brentvatne/bs-option
rgrinberg/ocaml-fileio
A demo of dune's virtual libraries
yawaramin/dream-html
Generate HTML markup from your Dream backend server
yawaramin/learning-tydd-reason
Learning Type-Driven Development with ReasonML
drjdn/ocaml_dual
Dual numbers library in OCaml
yawaramin/bucklescript-cyclejs-test
tmattio/ocaml-http-benchmark
Benchmark of different HTTP servers in OCaml
mbouaziz/jsx
A symbolic evaluator for Javascript
pyx/2048-ml
2048 in OCaml
yawaramin/resilient-services
rgrinberg/ackdo-reloaded
The companion to sed and ack/grep/ag
rgrinberg/obeanstalk
async beanstalkd client for OCaml
brentvatne/99-reasons
richardwu/better-sql
An attempt at a SQL optimizer in OCaml.
Isaac-DeFrain/dependent
An implementation of dependently typed lambda calculus
rowangithub/Poling
Poling -- SMT Aided Linearizability Proofs
tmattio/retable
A sortable selectable *table for ReasonReact.