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 10 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- A collection of lexers for various languages, written in Rust.☆12Updated 9 years ago
- Système de recommandation minimal sur Movielens (pour Girls Can Code! 2016)☆17Updated 5 months ago
- A powered by emoji, written in Rust☆39Updated 7 years ago
- A tool for keeping a personal log☆16Updated 10 months ago
- pretty bad protocol☆63Updated 4 years ago
- OCaml cryptographic library☆111Updated 5 years ago
- Simple demo of noise-rs and rustbox☆22Updated 7 years ago
- Polymorphic guarded λ-calculus☆22Updated 4 months ago
- Rust ls clone with pretty colors.☆11Updated 8 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Updated 10 months ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- OCaml runtime and FFI bindings directly in Rust☆78Updated 8 years ago
- STDSHOUT!!!1!☆29Updated 6 years ago
- Un cours d'OCaml alternatif à l'UE INF201 de l'UGA☆16Updated last year
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Updated 3 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆39Updated 8 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- In-browser OCaml notebooks 🐪☆26Updated 6 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- An ocaml driver for mongodb☆51Updated 3 years ago
- Multilingualization for the OCaml source code☆49Updated 6 years ago