π¦πΊ Made in Australia
Discover Australia's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Australia.
TOP OCaml Projects
darrenldl/docfd
TUI multiline fuzzy document finder
brendanzab/language-garden
A garden of small programming language implementations πͺ΄
timbertson/opam2nix
Generate nix expressions from opam packages
Barry-Jay/bondi
source code for the bondi programming language
bungnoid/MG_Tools
All the plugins and script for Maya made by Marco Giordano free to download
tmcgilchrist/ocaml-gitlab
Native OCaml bindings to Gitlab REST API v4
faldor20/jj_tui
A TUI for the Jujutsu version control system
darrenldl/stramon
Process behavior monitoring utility and library based on strace
darrenldl/ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification
sync/reasonml-postgres
Reasonml Native GraphQL server with postgres
d2km/nixformat
tmcgilchrist/tiger
Compiler for Tiger language from "Modern Compiler Implementation in ML"
steshaw/mincaml
The very excellent, educational MinCaml project of Eijiro Sumii is now available at https://github.com/esumii/min-caml
darrenldl/distrproc
Erlang style process/actor model library in OCaml
eudoxia0/parsing-menhir
Code for a tutorial on parsing with Menhir
chris-armstrong/ocaml-cfgen
Generate CloudFormation templates with OCaml
lcdunstan/reqtrace
Requirement traceability tool for OCaml
darrenldl/ocaml-lxc
OCaml binding to LXC with idiomatic (and opionated) OCaml API design
darrenldl/ocaml-SeqBox
Implementation of SeqBox in OCaml
darrenldl/oali
OCaml Arch Linux Installer
lcdunstan/ocaml-mdns
OCaml implementation of the Multicast DNS protocol (mostly obsolete - see ocaml-dns)
wenyuzhao/Lambda
Lambda calculus interpreter in OCaml
jordwest/bs-snabbdom
Bucklescript + Snabbdom
darrenldl/ocaml-tui-chat-demo
timbertson/vdoml
virtual DOM + OCaml
rapha/Ospecl
Simple library for specifying and testing OCaml, inspired by rspec and FsUnit.
dagoof/ocaml-json-decoder
JSON decoder with Elm's API
darrenldl/dirsift
Search for directories by types
omnisci3nce/sibyl-lang
ML-inspired programming language for learning purposes.
steshaw/PLAR
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrison
timbertson/passe
SuperGenPass-compatible password utility
darrenldl/ocaml-reed-solomon-erasure
OCaml implementation of Reed-Solomon erasure coding
carlosdagos/osh
Shell-like programming for OCaml
mscharley/bs-auth0-session
Session management for ReasonReact using Auth0 for login.
sidharthkuruvila/ocaml-avroc
Ctypes bindings for Apache Avro's c library
dagoof/ocaml-elm-example
Serving an Elm app with an OCaml backend
Z-Shang/LoLi-ML
LoLi in OCaml
sync/my-reason-next
Next.js app with es6 and reasonml (with getInitialProps and fetch promise)
tmcgilchrist/pcl-ocaml
A parsec-style parser combinator library for ocaml
barkmadley/bs-reselect
Reselect bindings for Bucklescript
chris-armstrong/aws-smsdk
OCaml bindings for AWS APIs, built on eio
jordwest/bucklescript-tea-tree
Bucklescript TEA - Tree View
craigsheen/react-reason-github-timeline
An extremely simple React Reason app showing my github timeline.
barkmadley/reason-selector
GADT based reimplementation of reselect in ReasonML
yen223/graphql-schema-infer
Generate a GraphQL schema from JSON data
deecewan/advent
Advent of Code solutions
curtiswilkinson/markers
A Chalk-inspired library for beautiful terminal colors in OCaml/ReasonML.
danielmoi/ocaml-course
Notes from the OCaml MOOC
Z-Shang/WYLOW1HR
sporto/explore-graph-ocaml
Trying Ocaml
jitheshvijayakumar/Image-Text-Translator
GEC Thrissur , CSE Mini Project 2014 , 2011 Batch
agelastic/wash_cse505_2012
Read through Dan Grossman's notes and did the homeworks. All in Ocaml.
d2km/recomb-ocaml
JasonShin/Bondi-Websocket-Protocol
Websocket protocol implementation in Bondi language for Programming in Patterns class for UTS.
darrenldl/tamgram
High-level frontend language to Tamarin prover
tmcgilchrist/cothreads
Fork of cothreads library from source forge
tmcgilchrist/ocaml-jack
QuickCheck with shrinking for free
aapeliv/kazm
A small C-like programming language implemented in OCaml
rapha/aerger
A little library for parsing command-line args in OCaml
tmcgilchrist/ocaml-changes
Parse an OCaml community style changelog
rapha/fourinarow
Simple Four In A Row game implemented in OCaml
darrenldl/ocaml-lt-code
OCaml implementation of a Luby transform code
cironunes/funretro-reason
π‘ FunRetro clone powered by ReasonReact
sync/bitty
Pesy + azure pipelines test
girvo/svelte-reason-buildkit
Test build kit for truly universal, strongly typed UI components
bfollington/reason-playground
Playing with ReasonML and ReasonReact
lebinh/formulas
An OCaml programs to do various things with first order fomulas
tmcgilchrist/ocaml-formlets
The Essence of Form Abstraction
sporto/euler-problems
https://projecteuler.net
ashutoshrishi/difftest
Simple OCaml based automatic testing utility using `diff' for a compilers' stdout
youwithouto/99OCamlProblems
Solutions and personal comments of 99 Problems (solved) in OCaml
timbertson/status-check
Dirt simple notifications when periodic tasks fail to run
bassjacob/reasonml-koans
rhysforyou/reason-react-todo
A (Reason) React Todo List
bassjacob/creed
dagoof/ocaml-twirp-expedition
what might an OCaml twirp client/server look like
Gurenax/reasonml-tax-calculator
Calculate your Aussie Taxed Salary using ReasonML
dagoof/notifications-ocaml-client
OCaml client for the GOV.UK Notify API
haskellcamargo/paa
Projeto e AnΓ‘lise de Algoritmos - UDESC
mscharley/bs-auth0-js
BuckleScript bindings to auth0-js
mscharley/bs-generators
BuckleScript bindings to JavaScripts Generator objects
marionebl/advent-of-ocaml
Puzzle solutions for Advent of Code 2018 in OCaml
rgripper/reasonable-chat-server
Chat server in ReasonML
antonstefanov/swamp
Yend0r/gloomhaven-web-reason
Reason react based front-end for my gloomhaven api.
marionebl/more-ocaml
π« Solutions for questions in More OCaml
nwaywood/the-super-tiny-compiler-ocaml
Implementation of The Super Tiny Compiler in OCaml
sporto/ocaml_validator
A validator library for OCaml
omnisci3nce/funtypes
omnisci3nce/kosen
https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCaml
omnisci3nce/repository-pattern
omnisci3nce/boolean-logic-bazaar
omnisci3nce/modbus-ocaml
omnisci3nce/advent-of-code-2022
sidharthkuruvila/advent-of-code-2022
My attempts at advent of code in camp and rust
gridbugs/why3
copy of https://gitlab.inria.fr/why3
gridbugs/vendor-ctypes-experiment