jilljenn / japanLinks
Guide à l'arrache pour le Japon
☆19Updated 2 years ago
Alternatives and similar repositories for japan
Users that are interested in japan are comparing it to the libraries listed below
Sorting:
- ☆10Updated 9 years ago
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆17Updated 3 months ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 8 months ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago
- Simple demo of noise-rs and rustbox☆22Updated 7 years ago
- Polymorphic guarded λ-calculus☆20Updated 2 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- A Python interpreter for the huh? programming language.☆10Updated 7 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Rust ls clone with pretty colors.☆11Updated 8 years ago
- A simple static website generator, written in OCaml☆24Updated this week
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- MirageOS application serving random Kaamelott quotation via HTTP - Running here☆12Updated 10 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- An ocaml driver for mongodb☆52Updated 3 years ago
- A tool for keeping a personal log☆16Updated 8 months ago
- In-browser OCaml notebooks 🐪☆26Updated 6 years ago
- ☆23Updated 13 years ago
- Proof of concept to generate safe and fast JavaScript☆24Updated 3 years ago
- ☆30Updated last month
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A powered by emoji, written in Rust☆39Updated 7 years ago
- A sub-second static blogging framework☆32Updated 2 weeks ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)☆66Updated 2 months ago
- MPP: a meta preprocessor that blends programming languages☆32Updated 2 years ago