-
-
-
-
-
DoubleChess Public
Project to make a chess webstie allowing to run game in parallel
C++ MIT License UpdatedDec 30, 2023 -
functional-redblacktree Public
A Functional redblack tree implemented in OCaml
Coq MIT License UpdatedDec 1, 2023 -
blogging-with-ocaml Public
Forked from xvw/capsuleMicro blogging about every idea that i deem worth sharing
OCaml GNU General Public License v3.0 UpdatedNov 12, 2023 -
Register-swisstronik Public
Swisstronik
Solidity GNU General Public License v3.0 UpdatedJul 27, 2023 -
-
-
-
Tezos-TZIP-implementation Public
Implementation of Tezos-TZIP in Ligo
-
ligo-next-pkgbuild Public
PKGBUILD to build the next version of Ligo on archlinux
Shell UpdatedOct 3, 2022 -
-
ToyLanguages Public
A repo to train on type system and expiriment idea
Standard ML MIT License UpdatedSep 28, 2022 -
ppx_deriving Public
Forked from ocaml-ppx/ppx_derivingType-driven code generation for OCaml
OCaml MIT License UpdatedJul 20, 2022 -
-
linguist Public
Forked from github-linguist/linguistLanguage Savant. If your repository's language is being reported incorrectly, send us a pull request!
-
ocaml-re Public
Forked from ocaml/ocaml-rePure OCaml regular expressions, with support for Perl and POSIX-style strings
OCaml Other UpdatedSep 6, 2021 -
base Public
Forked from janestreet/baseStandard library for OCaml
OCaml MIT License UpdatedJun 18, 2021 -
mensabot Public
Forked from slesolliec/mensabotA Discord bot for Mensa-France
TypeScript UpdatedJun 1, 2021 -
DefinitelyTyped Public
Forked from DefinitelyTyped/DefinitelyTypedThe repository for high quality TypeScript type definitions.
TypeScript Other UpdatedApr 25, 2019 -
-
-