Discover Australia's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of Australia.
darrenldl/docfd
TUI multiline fuzzy document finderbrendanzab/language-garden
A garden of small programming language implementations 🪴timbertson/opam2nix
Generate nix expressions from opam packagesBarry-Jay/bondi
source code for the bondi programming languagebungnoid/MG_Tools
All the plugins and script for Maya made by Marco Giordano free to downloadtmcgilchrist/ocaml-gitlab
Native OCaml bindings to Gitlab REST API v4darrenldl/stramon
Process behavior monitoring utility and library based on stracedarrenldl/ProVerif-ATP
ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verificationd2km/nixformat
sync/reasonml-postgres
Reasonml Native GraphQL server with postgrestmcgilchrist/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-camldarrenldl/distrproc
Erlang style process/actor model library in OCamleudoxia0/parsing-menhir
Code for a tutorial on parsing with Menhirchris-armstrong/ocaml-cfgen
Generate CloudFormation templates with OCamllcdunstan/reqtrace
Requirement traceability tool for OCamldarrenldl/ocaml-lxc
OCaml binding to LXC with idiomatic (and opionated) OCaml API designdarrenldl/ocaml-SeqBox
Implementation of SeqBox in OCamljordwest/bs-snabbdom
Bucklescript + Snabbdomdarrenldl/oali
OCaml Arch Linux Installerwenyuzhao/Lambda
Lambda calculus interpreter in OCamllcdunstan/ocaml-mdns
OCaml implementation of the Multicast DNS protocol (mostly obsolete - see ocaml-dns)darrenldl/ocaml-tui-chat-demo
timbertson/vdoml
virtual DOM + OCamlrapha/Ospecl
Simple library for specifying and testing OCaml, inspired by rspec and FsUnit.darrenldl/dirsift
Search for directories by typessteshaw/PLAR
Code from book "Handbook of Practical Logic and Automated Reasoning" by John Harrisonfaldor20/jj_tui
A TUI for the Jujutsu version control systemomnisci3nce/sibyl-lang
ML-inspired programming language for learning purposes.dagoof/ocaml-json-decoder
JSON decoder with Elm's APItimbertson/passe
SuperGenPass-compatible password utilitydarrenldl/ocaml-reed-solomon-erasure
OCaml implementation of Reed-Solomon erasure codingcarlosdagos/osh
Shell-like programming for OCamlmscharley/bs-auth0-session
Session management for ReasonReact using Auth0 for login.sidharthkuruvila/ocaml-avroc
Ctypes bindings for Apache Avro's c librarydagoof/ocaml-elm-example
Serving an Elm app with an OCaml backendZ-Shang/LoLi-ML
LoLi in OCamlsync/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 ocamlbarkmadley/bs-reselect
Reselect bindings for Bucklescriptchris-armstrong/aws-smsdk
OCaml bindings for AWS APIs, built on eiojordwest/bucklescript-tea-tree
Bucklescript TEA - Tree Viewcraigsheen/react-reason-github-timeline
An extremely simple React Reason app showing my github timeline.barkmadley/reason-selector
GADT based reimplementation of reselect in ReasonMLyen223/graphql-schema-infer
Generate a GraphQL schema from JSON datadeecewan/advent
Advent of Code solutionscurtiswilkinson/markers
A Chalk-inspired library for beautiful terminal colors in OCaml/ReasonML.danielmoi/ocaml-course
Notes from the OCaml MOOCZ-Shang/WYLOW1HR
sporto/explore-graph-ocaml
Trying Ocamljitheshvijayakumar/Image-Text-Translator
GEC Thrissur , CSE Mini Project 2014 , 2011 Batchagelastic/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 provertmcgilchrist/cothreads
Fork of cothreads library from source forgetmcgilchrist/ocaml-jack
QuickCheck with shrinking for freeaapeliv/kazm
A small C-like programming language implemented in OCamlrapha/aerger
A little library for parsing command-line args in OCamltmcgilchrist/ocaml-changes
Parse an OCaml community style changelographa/fourinarow
Simple Four In A Row game implemented in OCamldarrenldl/ocaml-lt-code
OCaml implementation of a Luby transform codecironunes/funretro-reason
🏡 FunRetro clone powered by ReasonReactsync/bitty
Pesy + azure pipelines testgirvo/svelte-reason-buildkit
Test build kit for truly universal, strongly typed UI componentsbfollington/reason-playground
Playing with ReasonML and ReasonReactlebinh/formulas
An OCaml programs to do various things with first order fomulastmcgilchrist/ocaml-formlets
The Essence of Form Abstractionsporto/euler-problems
https://projecteuler.netashutoshrishi/difftest
Simple OCaml based automatic testing utility using `diff' for a compilers' stdoutyouwithouto/99OCamlProblems
Solutions and personal comments of 99 Problems (solved) in OCamltimbertson/status-check
Dirt simple notifications when periodic tasks fail to runbassjacob/reasonml-koans
rhysforyou/reason-react-todo
A (Reason) React Todo Listbassjacob/creed
dagoof/ocaml-twirp-expedition
what might an OCaml twirp client/server look likeGurenax/reasonml-tax-calculator
Calculate your Aussie Taxed Salary using ReasonMLdagoof/notifications-ocaml-client
OCaml client for the GOV.UK Notify APIhaskellcamargo/paa
Projeto e Análise de Algoritmos - UDESCmscharley/bs-auth0-js
BuckleScript bindings to auth0-jsmscharley/bs-generators
BuckleScript bindings to JavaScripts Generator objectsmarionebl/advent-of-ocaml
Puzzle solutions for Advent of Code 2018 in OCamlrgripper/reasonable-chat-server
Chat server in ReasonMLantonstefanov/swamp
Yend0r/gloomhaven-web-reason
Reason react based front-end for my gloomhaven api.marionebl/more-ocaml
🐫 Solutions for questions in More OCamlnwaywood/the-super-tiny-compiler-ocaml
Implementation of The Super Tiny Compiler in OCamlsporto/ocaml_validator
A validator library for OCamlomnisci3nce/funtypes
omnisci3nce/kosen
https://raytracing.github.io/books/RayTracingInOneWeekend.html in OCamlomnisci3nce/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 rustgridbugs/why3
copy of https://gitlab.inria.fr/why3gridbugs/vendor-ctypes-experiment
Love Open Source and this site? Check out how you can help us