DaiF1 / Oditor
A simple text editor written in OCaml
☆15Updated last year
Alternatives and similar repositories for Oditor:
Users that are interested in Oditor are comparing it to the libraries listed below
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 2 years ago
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆27Updated last year
- A cute Gemini client written in OCaml☆16Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 11 months ago
- Drop some lyrics and highlights the rhymes with colors☆13Updated 2 years ago
- Fast and easy notes taking oriented markup language.☆22Updated 2 years ago
- A powerful keybind library and daemon for Linux.☆11Updated 2 years ago
- Linear algebra formalization in Agda☆16Updated 5 years ago
- A complete specification on Zilch and N⋆☆10Updated 2 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12Updated last year
- The official integrated developement environnement for naturL☆8Updated 2 years ago
- One album per day☆11Updated 11 months ago
- An experimental raytracer in LaTeX☆30Updated 3 years ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 8 months ago
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆31Updated 2 months ago
- LP and MIP modeling in OCaml☆28Updated last month
- Print with style in your terminal using Format's semantic tags☆19Updated last year
- An overlay on Eglot for editing OCaml code using LSP☆43Updated last week
- A better Chronos☆10Updated 3 years ago
- Fuzzy type search for OCaml documentation☆81Updated 9 months ago
- Nihil, a statically typed interpreted functional programming language☆68Updated 4 years ago
- an arithmetic library for OCaml’s native integers☆11Updated 10 months ago
- The caml walks, OCaml runs☆18Updated last year
- Auditively feel the work of the runtime☆30Updated last year
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated last year
- Runtime assertion checking based on Gospel specifications☆45Updated 2 weeks ago
- Build OCaml projects with Nix.☆57Updated last month
- ☆23Updated last year
- A high level DSP library in the OCaml language☆18Updated this week
- Parallel version of incremental library☆19Updated last year