Ali Caglayan's repositories
nixpkgs
Nix Packages collection
coq-lsp
Language Server Protocol for 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.
dune
A composable build system for OCaml.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
git-ps-rs
Official git-ps Rust implementation - the future of git-ps
multinomials
Multinomials for the Mathematical Components library.
opam-dune
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
ocaml
The core OCaml system: compilers, runtime system, base libraries
melange
A mixture of tooling combined to produce JavaScript from OCaml & Reason
pp
Pretty printing library
alectryon
A collection of tools for writing technical documents that mix Coq code and prose.
opam-repository
Main public package repository for opam, the source package manager of OCaml.
FTXUI
:computer: C++ Functional Terminal User Interface. :heart:
notty
Declarative terminal graphics for OCaml
clap
A full featured, fast Command Line Argument Parser for Rust
serenity
The Serenity Operating System 🐞
base
Standard library for OCaml
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml-lsp
OCaml Language Server Protocol implementation
mutaml
An OCaml mutation tester
dune-bench
Benchmark for dune
min-caml
moved from https://sourceforge.net/p/min-caml/code/
github-action-benchmark
GitHub Action for continuous benchmarking to keep performance
coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
lev
Low Level Bindings to Libev