OCamlPro / superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
☆31Updated 2 months ago
Alternatives and similar repositories for superbol-studio-oss
Users that are interested in superbol-studio-oss are comparing it to the libraries listed below
Sorting:
- McLulang: The message is the language☆10Updated 8 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 7 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆17Updated last year
- Ocaml mode for emacs using treesitter☆16Updated 8 months ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 6 months ago
- build-once run-anywhere OCaml programs☆137Updated 5 months ago
- The glitch-soc/Mastodon fork running on types.pl☆22Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆46Updated last week
- The first ever roguelike written in the OCaml type system☆86Updated last month
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- A small logic programming language.☆16Updated last year
- Static site generator☆12Updated last month
- Personal collection of useful bookmarklets☆14Updated 3 months ago
- 🐫🎮 OCaml Game Engine☆43Updated last month
- A list of awesome libraries for BQN.☆32Updated 5 months ago
- Emacs major mode for Dyalog APL☆15Updated 2 years ago
- HTTP utility library for Standard ML☆11Updated last year
- ☆48Updated 6 months ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆50Updated last year
- Awesome OCaml Gamedev☆13Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 3 months ago
- A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…☆21Updated 2 months ago
- Sokoban (in Coq) [maintainer=@erikmd]☆22Updated 4 months ago
- Reader to enable embedding images in source files as text☆19Updated 4 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- S-expression swiss knife☆44Updated last week
- GUI Frosthaven Scenario Manager☆14Updated this week
- How do you do that recursive GADT thing again?☆27Updated last year
- OCaml notebooks as a WebComponent☆18Updated this week
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago