DaiF1 / Oditor
A simple text editor written in OCaml
☆14Updated 10 months ago
Related projects: ⓘ
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 2 years ago
- ☆15Updated this week
- A powerful keybind library and daemon for Linux.☆10Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 3 months ago
- Fast and easy notes taking oriented markup language.☆21Updated 2 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12Updated last year
- Drop some lyrics and highlights the rhymes with colors☆12Updated 2 years ago
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆27Updated 8 months ago
- r86 is a 8086 real mode programming language which supports segmentation☆16Updated 2 years ago
- ☆11Updated this week
- A cute Gemini client written in OCaml☆14Updated last year
- A statically-typed, low-level, functional programming language with some focus on runtime performance☆25Updated last year
- Some MP2I and MPI courses☆14Updated last year
- Programming language written in Rust.☆11Updated last year
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10Updated 3 years ago
- Linear algebra formalization in Agda☆16Updated 4 years ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated last year
- One album per day☆11Updated 3 months ago
- Print with style in your terminal using Format's semantic tags☆18Updated 10 months ago
- ☆69Updated this week
- ☆26Updated this week
- ☆20Updated this week
- A small but efficient, intuitive and responsive OCaml IDE right in your browser! Ships OCaml v5.1.1, interpreter by your browser (so it w…☆37Updated last week
- Collaborative Game of Life☆14Updated 4 years ago
- A simple, statically-typed programming language☆17Updated 5 years ago
- An experimental raytracer in LaTeX☆30Updated 2 years ago
- ☆13Updated this week
- Pretty-printing for error source locations☆36Updated 2 years ago
- Nihil, a statically typed interpreted functional programming language☆68Updated 3 years ago