-
Imandra.ai
-
22:57
- 6h behind
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedDec 19, 2024 -
ppx_deriving_decoders Public
Auto generate decoders for OCaml
-
-
yasnippet-snippets Public
Forked from AndreaCrotti/yasnippet-snippetsa collection of yasnippet snippets for many languages
YASnippet GNU General Public License v3.0 UpdatedDec 15, 2024 -
ocaml-decoders Public
Forked from mattjbray/ocaml-decodersElm-inspired decoders for Ocaml
OCaml Other UpdatedNov 2, 2024 -
ocaml-containers Public
Forked from c-cube/ocaml-containersA lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
OCaml BSD 2-Clause "Simplified" License UpdatedSep 3, 2024 -
-
pycallgraph Public
Forked from e-alizadeh/pycallgraphpycallgraph is a Python module that creates call graphs for Python programs.
Python GNU General Public License v2.0 UpdatedApr 25, 2024 -
-
jsoo-react-template Public template
Forked from ml-in-barcelona/jsoo-react-templateTemplate for a minimal jsoo-react project
Makefile MIT License UpdatedApr 16, 2024 -
reason-react Public
Forked from reasonml/reason-reactReason bindings for ReactJS
Reason MIT License UpdatedApr 2, 2024 -
-
utop Public
Forked from ocaml-community/utopUniversal toplevel for OCaml
OCaml Other UpdatedDec 13, 2023 -
tech-proposals Public
Forked from haskellfoundation/tech-proposalsThe Haskell Foundation Tech Proposal Process
Haskell Other UpdatedJun 30, 2023 -
plfa.github.io Public
Forked from plfa/plfa.github.ioAn introduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedJun 16, 2023 -
-
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell Other UpdatedMar 22, 2023 -
SchemeRepl Public
Basic interpreter for Scheme written in Haskell
-
LangLearnTool Public
A command line utility to help language learners determine if a document is appropriate for their level
UpdatedDec 17, 2022 -
SimpleSynth Public
This is a simple audio library constructed from fundamentals
-
ScppecialCase Public
This is a repo for short bits of C++ code which answer question I have had.
C++ UpdatedFeb 4, 2022 -
KoVocab Public
This is a simple python script which allows the extraction of saved vocabulary words from a Kobo eReader device into an anki deck.
Python UpdatedJan 17, 2022 -
-