Alternatives and similar repositories for japan

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

• jilljenn / voyageavecmoi
  ☆10Updated 9 years ago
• abbysmal / KaamelottAsAService
  MirageOS application serving random Kaamelott quotation via HTTP - Running here
  ☆12Updated 10 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 7 months ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 8 months ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 7 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated last year
• m4b / raml
  OCaml runtime and FFI bindings directly in Rust
  ☆79Updated 8 years ago
• kade-robertson / pythuhn
  A Python interpreter for the huh? programming language.
  ☆10Updated 7 years ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆24Updated 8 years ago
• lord / emoji-shell
  A powered by emoji, written in Rust
  ☆39Updated 7 years ago
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• denismerigoux / rox-star
  Rust to F* toolchain
  ☆43Updated 6 years ago
• reactiveml / rml
  ReactiveML: a programming language for implementing interactive systems.
  ☆20Updated 2 years ago
• ix / pretty-ls
  Rust ls clone with pretty colors.
  ☆11Updated 8 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated last month
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated last month
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆29Updated 2 years ago
• ocaml / MPP-language-blender
  MPP: a meta preprocessor that blends programming languages
  ☆32Updated 2 years ago
• mirleft / ocaml-nocrypto
  OCaml cryptographic library
  ☆111Updated 5 years ago
• sdleffler / type-operators-rs
  A macro for defining type operators in Rust.
  ☆64Updated 8 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆23Updated 3 years ago
• acorrenson / owl
  A mini language for logic programming
  ☆23Updated 5 years ago
• strega-nil / stregaml
  Experimenting with a language implementation in ocaml
  ☆32Updated 6 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago