OCamlPro / superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
☆28Updated this week
Alternatives and similar repositories for superbol-studio-oss:
Users that are interested in superbol-studio-oss are comparing it to the libraries listed below
- build-once run-anywhere OCaml programs☆136Updated 2 months ago
- Runtime assertion checking based on Gospel specifications☆44Updated 2 weeks ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 2 months ago
- An overlay on Eglot for editing OCaml code using LSP☆28Updated last week
- A Framework for building Batched Concurrent Services☆21Updated 3 months ago
- 2d game engine for OCaml☆59Updated last month
- A peer-to-peer file-transfer tool in OCaml☆136Updated 5 months ago
- Commodity thread pools and concurrency primitives for OCaml 5☆55Updated last month
- Ocaml mode for emacs using treesitter☆10Updated 5 months ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated this week
- What do you mean?☆42Updated 4 months ago
- Port of the Elm playground package to OCaml to make pictures, animations, and even video games easily.☆21Updated last month
- How do you do that recursive GADT thing again?☆27Updated 10 months ago
- Realtime grep for OCaml/Coq sources available on opam☆80Updated 4 months ago
- A pure OCaml library for working with terminals☆28Updated 9 months ago
- LablGL: an openGL interface for OCaml☆23Updated last year
- multi-shot continuations in OCaml☆47Updated 3 weeks ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆16Updated last year
- add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs☆16Updated last year
- Tools for record-and-replay debugging☆43Updated last year
- OCaml hacking ideas, small and large.☆19Updated 9 months ago
- A simple static website generator, written in OCaml☆22Updated 3 years ago
- Sokoban (in Coq) [maintainer=@erikmd]☆21Updated 3 weeks ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆13Updated this week
- An Activitypub server in OCaml!☆66Updated last year
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 2 weeks ago
- Browser programming toolkit for OCaml☆99Updated last month
- OCaml date time handling and reasoning suite☆69Updated 2 months ago
- A program launcher for Wayland☆14Updated last year
- Core functions comparison☆8Updated 3 years ago