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:
- A (parametrized) Rust SAT solver originally based on MiniSat☆31Updated 5 months ago
- Polymorphic guarded λ-calculus☆17Updated this week
- A simple static website generator, written in OCaml☆23Updated 3 years ago
- Constant time equal function to avoid timing attacks in OCaml☆51Updated last year
- MirageOS application serving random Kaamelott quotation via HTTP - Running here☆12Updated 10 years ago
- Algorithms to layout trees in a pretty manner.☆36Updated 3 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆14Updated last year
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Updated 8 years ago
- A tool to index your papers/interesting links/... and quickly search through them☆49Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- Multilingualization for the OCaml source code☆50Updated 6 years ago
- tweetr is a platform that allows you to create and queue tweets to be shared when YOU want. You create content when you have time and the…☆18Updated 6 years ago
- View your Mastodon archive offline☆25Updated 2 years ago
- Read and write FAT format filesystems from OCaml☆25Updated last month
- Rust ls clone with pretty colors.☆11Updated 8 years ago
- A tool for keeping a personal log☆16Updated 6 months ago
- In-browser OCaml notebooks 🐪☆25Updated 6 years ago
- OCaml rewrite of the ixy network driver☆35Updated 4 years ago
- A set of tools for Coq written in Rust☆14Updated 7 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆27Updated 5 years ago
- Faithful reimplementation of Minisat 2.2 in OCaml.☆38Updated 2 years ago
- Un cours d'OCaml alternatif à l'UE INF201 de l'UGA☆16Updated last year
- OCaml runtime and FFI bindings directly in Rust☆79Updated 8 years ago
- OCaml cryptographic library☆111Updated 5 years ago
- Lattice valued regular expressions and an example analysis☆10Updated 3 years ago
- Memthol is a visualizer for memory profiling data generated from OCaml programs.☆28Updated 2 years ago
- The language of the future!☆72Updated last year
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Updated 8 years ago
- 🌳 Generate a fresh bonsai in your terminal☆28Updated 3 years ago