stevenvar / OMicroB

Related projects ⓘ

Alternatives and complementary repositories for OMicroB

• dbuenzli / brr
  Browser programming toolkit for OCaml
  ☆95Updated this week
• let-def / wall
  (mirror) A vector graphics renderer like NanoVG in OCaml
  ☆78Updated 7 months ago
• garrigue / lablgtk
  LablGTK 2 and 3: an interface to the GIMP Tool Kit
  ☆90Updated 5 months ago
• mirage / ocaml-rpc
  Light library to deal with RPCs in OCaml
  ☆96Updated 2 months ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆99Updated 2 years ago
• smolkaj / nice-parser
  Nice parsers in OCaml without the boilerplate
  ☆124Updated 6 months ago
• pdonadeo / ocaml-lua
  Lua bindings for OCaml
  ☆44Updated last year
• dbuenzli / rpi-boot-ocaml
  Raspberry Pi boot support for the OCaml system (unreleased)
  ☆55Updated last month
• abbysmal / Canopy
  A git-blogging unikernel written using MirageOS
  ☆120Updated last year
• nanocaml / nanocaml
  Nanopass for OCaml
  ☆141Updated 6 years ago
• dbuenzli / vg
  Declarative 2D vector graphics for OCaml
  ☆91Updated 6 months ago
• ocaml-community / zed
  Abstract engine for text edition in OCaml
  ☆122Updated last year
• dbuenzli / down
  An OCaml toplevel (REPL) upgrade
  ☆84Updated last month
• murmour / mparser
  A simple monadic parser combinator library for OCaml
  ☆65Updated 2 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆61Updated last year
• well-typed-lightbulbs / ocaml-esp32
  Native compiler backend for esp32
  ☆59Updated 3 years ago
• janestreet / shexp
  Process library and s-expression based shell
  ☆126Updated this week
• ocaml-bench / sandmark
  A benchmark suite for the OCaml compiler
  ☆82Updated 2 months ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• dbuenzli / logs
  Logging infrastructure for OCaml
  ☆86Updated 2 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆128Updated this week
• mirage / digestif
  Simple hash algorithms in OCaml
  ☆87Updated 7 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• ocaml-community / omd
  extensible Markdown library and tool in "pure OCaml"
  ☆153Updated 4 months ago
• LexiFi / landmarks
  A Simple Profiling Library for OCaml
  ☆128Updated last year
• charlesetc / feather
  A shell library for OCaml
  ☆77Updated 7 months ago
• mirage / ocaml-cstruct
  Map OCaml arrays onto C-like structs
  ☆106Updated last year
• lindig / lua-ml
  An embeddable Lua 2.5 interpreter implemented in OCaml
  ☆124Updated last year
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆109Updated 2 weeks ago
• avsm / ocaml-yaml
  OCaml interface to the YAML 1.1 spec
  ☆75Updated last year