baptistecolin's Stars
dense-analysis/ale
Check syntax in Vim/Neovim asynchronously and fix files, with Language Server Protocol (LSP) support
jonas/tig
Text-mode interface for git
outlines-dev/outlines
Structured Text Generation
smacke/ffsubsync
Automagically synchronize subtitles with video.
coq/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
ipfs/ipfs-companion
Browser extension that simplifies access to IPFS resources on the web
ekmett/lens
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
ocaml/merlin
Context sensitive completion for OCaml in Vim and Emacs
erikwiffin/0.30000000000000004
Floating Point Math Examples
math-comp/math-comp
Mathematical Components
ad044/LainTSX
WebGL implementation of the Serial Experiments Lain PSX game
mirage/alcotest
A lightweight and colourful test framework
FormalTheology/GoedelGod
Formalizations of Gödel's Ontological Proof of God's Existence
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
aantron/bisect_ppx
Code coverage for OCaml and ReScript
whonore/Coqtail
Interactive Coq Proofs in Vim
RoiArthurB/Side-Auto_Sci-Hub
Cross-Browser Plugin to open Sci-Hub 🗝 page with the article from your current tab
BSLang/BS
Implementation of the BS language as created by Mark Rendle at BuildStuff.lt 2014. Refer to this repo for information and canonical list of language features
the-lambda-church/coquille
Interactive theorem proving with Coq in vim.
patoline/patoline
Patoline typesetting system
janestreet/ppx_inline_test
Syntax extension for writing in-line tests in ocaml code
OCamlPro/ocaml-cheat-sheets
OCaml Documentations as one-pagers, easy to keep useful commands in mind
maranget/hevea
Hevea is a fast latex to html translator
keigoi/ocaml-mpst
Multiparty Session Types in OCaml
ocaml-dune/pp
Pretty printing library
oxidizing/letters
Letters is an OCaml library for creating and sending emails over SMTP using LWT
Chris00/ANSITerminal
Basic control of ANSI compliant terminals and the windows shell.
keigoi/linocaml
Monad-based linear types in OCaml, with a few syntax extensions
StrykerKKD/Logical
Minimalistic logic programming framework
backtracking/bheap
OCaml binary heap implementation by Jean-Christophe Filliatre