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
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆16Updated 10 months ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆24Updated 8 years ago
• inanna-malick / detect
  ☆31Updated this week
• lord / emoji-shell
  A powered by emoji, written in Rust
  ☆39Updated 7 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 9 months ago
• cronokirby / ludus
  A pluggable NES emulator
  ☆31Updated 6 years ago
• withoutboats / pbp
  pretty bad protocol
  ☆63Updated 4 years ago
• mangaki / movielens
  Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)
  ☆17Updated 5 months ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆26Updated 6 years ago
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 3 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
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 7 years ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆36Updated 4 years ago
• Armael / stone
  A simple static website generator, written in OCaml
  ☆24Updated this week
• touist / touist
  TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)
  ☆66Updated 3 months ago
• smorimoto / coq-to-ocaml-to-js
  Proof of concept to generate safe and fast JavaScript
  ☆24Updated 3 years ago
• whitequark / ocaml-m17n
  Multilingualization for the OCaml source code
  ☆49Updated 6 years ago
• jmacdonald / luthor
  A collection of lexers for various languages, written in Rust.
  ☆12Updated 9 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆31Updated last month
• plaidfinch / myxine
  Get a GUI fast in any language under the sea!
  ☆47Updated 2 years ago
• Drup / tree_layout
  Algorithms to layout trees in a pretty manner.
  ☆36Updated 3 years ago
• ncfavier / glam
  Polymorphic guarded λ-calculus
  ☆20Updated 3 months ago
• purplesyringa / PijulGit
  Pijul <-> Git proxy
  ☆22Updated 6 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• Geal / vlc_module.rs
  Helper library to write VLC modules in Rust
  ☆14Updated 4 years ago
• hellerve / cspfuck
  Brainfuck with Actors
  ☆36Updated 6 years ago
• ix / pretty-ls
  Rust ls clone with pretty colors.
  ☆11Updated 8 years ago