-
aidermacs Public
Forked from MatthewZMD/aidermacsAI Pair Programming in Emacs
Emacs Lisp Apache License 2.0 UpdatedFeb 20, 2025 -
-
chirho Public
Forked from BasisResearch/chirhoAn experimental language for causal reasoning
Python Apache License 2.0 UpdatedJul 25, 2024 -
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedMay 3, 2024 -
pypld Public
Operational semantics tools in Python
Python GNU General Public License v3.0 UpdatedMar 20, 2024 -
-
py-simple-audio Public
Forked from hamiltron/py-simple-audioA simple audio playback Python extension - cross-platform, asynchronous, dependency-free
-
-
combinat Public
Fast combinatorics functions for OCaml.
-
-
castor Public
Deductive synthesis and compilation of specialized databases.
-
-
bitarray Public
Fast vectorized bitarrays for OCaml
-
-
vp-tree Public
Forked from UnixJunkie/vp-treeVantage point tree implementation in OCaml
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJul 7, 2023 -
ocaml-ancient Public
Forked from OCamlPro/ocaml-ancienttrial at reviving the ancient library
C UpdatedJul 7, 2023 -
-
L2 Public
λ² is a tool for synthesizing functional programs from input-output examples.
-
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedDec 28, 2022 -
-
opam-nix Public
Forked from tweag/opam-nixTurn opam-based OCaml projects into Nix derivations
Nix MIT License UpdatedSep 26, 2022 -
sketch-mode Public
Emacs mode for the Sketch synthesizer language
-
-
-
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedJul 26, 2022 -
-
z3overlay Public
Forked from termite-analyser/z3overlayAn overlay for the OCaml Z3 binding.
OCaml MIT License UpdatedJul 21, 2022 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedMay 4, 2022 -
{{ message }}