jilljenn / japan

Related projects ⓘ

Alternatives and complementary repositories for japan

• Armael / stone
  A simple static website generator, written in OCaml
  ☆22Updated 2 years ago
• abbysmal / KaamelottAsAService
  MirageOS application serving random Kaamelott quotation via HTTP - Running here
  ☆12Updated 9 years ago
• jilljenn / voyageavecmoi
  ☆10Updated 9 years ago
• Stebalien / gazetta
  A sub-second static blogging framework
  ☆28Updated 2 years ago
• louisabraham / domical
  In-browser OCaml notebooks 🐪
  ☆25Updated 5 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated 5 months ago
• ix / pretty-ls
  Rust ls clone with pretty colors.
  ☆11Updated 7 years ago
• segeljakt / type-theory
  Typed λ-calculus in Rust
  ☆28Updated last year
• Armael / papiers
  A tool to index your papers/interesting links/... and quickly search through them
  ☆49Updated 2 years ago
• sternenseemann / logbook
  A tool for keeping a personal log
  ☆15Updated 4 years ago
• crespyl / marching-squares
  Simple demo of noise-rs and rustbox
  ☆22Updated 6 years ago
• elegaanz / cours-ocaml
  Un cours d'OCaml alternatif à l'UE INF201 de l'UGA
  ☆16Updated 6 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 4 months ago
• xvw / ocamlectron
  [WIP] A small framework to build "electron app" using OCaml via Js_of_ocaml
  ☆11Updated 2 years ago
• nv-vn / ogen
  A tool for creating new OCaml projects with OPAM, Oasis, and Merlin
  ☆23Updated 7 years ago
• kazcw / comacro
  Rust declarative static analysis with macro-like syntax
  ☆16Updated 6 years ago
• pippijn / merr
  Error message generator for state/token pairs.
  ☆14Updated 10 years ago
• abbysmal / Toolboy
  A set of tools to work with Gameboy stuff
  ☆13Updated last year
• phink / changeset
  (unreleased) Data validation with first-class and first-order labels in OCaml
  ☆30Updated 6 years ago
• ixy-languages / ixy.ml
  OCaml rewrite of the ixy network driver
  ☆35Updated 3 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• marc-chevalier / ocolor
  Print with style in your terminal using Format's semantic tags
  ☆18Updated last year
• attresearch / yakker
  ☆22Updated 12 years ago
• Chris00 / ocaml-mindstorm
  Library to drive Lego mindstorm NXT bricks from OCaml. Communication with the NXT brick is done through bluetooth.
  ☆17Updated last year
• alugocp / crypts-and-camls
  ☆14Updated 2 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆37Updated 7 years ago
• cpitclaudel / fstar.js
  F* running in the browser
  ☆21Updated 5 years ago