Alternatives and similar repositories for japan

Users that are interested in japan are comparing it to the libraries listed below

• jilljenn / voyageavecmoi
  ☆10Updated 10 years ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 7 years ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆24Updated 9 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 10 months ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 11 months ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated last month
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆78Updated 8 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• jmacdonald / luthor
  A collection of lexers for various languages, written in Rust.
  ☆12Updated 9 years ago
• jbr / driftwood
  some logs on the tide
  ☆15Updated 10 months ago
• mirage / hacl
  Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …
  ☆20Updated 4 years ago
• mirleft / ocaml-nocrypto
  OCaml cryptographic library
  ☆111Updated 5 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆26Updated 6 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆37Updated 4 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• strega-nil / stregaml
  Experimenting with a language implementation in ocaml
  ☆32Updated 6 years ago
• orbitz / opass
  Simple password db
  ☆23Updated 7 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆65Updated 8 years ago
• Frama-C / headache
  Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
  ☆25Updated last year
• lord / emoji-shell
  A powered by emoji, written in Rust
  ☆39Updated 7 years ago
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆67Updated 4 months ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• ocaml-community / easy-format
  Pretty-printing library for OCaml
  ☆43Updated 3 years ago