-
vpnkit Public
Forked from moby/vpnkitA toolkit for embedding VPN capabilities in your application
OCaml Apache License 2.0 UpdatedJun 26, 2025 -
-
-
ppx_deriving Public
Forked from ocaml-ppx/ppx_derivingType-driven code generation for OCaml
OCaml MIT License UpdatedOct 18, 2024 -
-
-
mypy Public
Forked from python/mypyOptional static typing for Python
Python Other UpdatedJan 9, 2024 -
ocaml Public
Forked from ocaml/ocamlOCaml on iOS http://psellos.com/ocaml/ upgraded to OCaml 4.00.1 and fixed to work with the latest iOS SDK 6.1
-
rclone Public
Forked from rclone/rclone"rsync for cloud storage" - Google Drive, S3, Dropbox, Backblaze B2, One Drive, Swift, Hubic, Wasabi, Google Cloud Storage, Yandex Files
Go MIT License UpdatedOct 17, 2023 -
-
-
-
-
-
ReactFirebaseBook Public
Forked from oukayuka/ReactFirebaseBook『りあクト！ Firebaseで始めるサーバーレスReact開発』のサンプルコードページ
TypeScript Apache License 2.0 UpdatedDec 9, 2022 -
haskell-cy Public
An ongoing work on M. Hamana's rewriting system on cyclic data structure
Haskell UpdatedNov 1, 2022 -
-
-
-
-
BIRDS Public
Forked from dangtv/BIRDSBidirectional transformation for Relational view update Datalog-based Strategies
OCaml GNU Lesser General Public License v2.1 UpdatedJul 1, 2022 -
-
-
session-ocaml2 Public
A new sketch implementation of session-ocaml with a new treatment of branching labels https://github.com/keigoi/session-ocaml
-
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedJan 18, 2022 -
nuscr Public
Forked from nuscr/nuscrA toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.
OCaml GNU General Public License v3.0 UpdatedJan 14, 2022 -
caramel-mpst Public
Experimental -- Multiparty Session Types for Caramel (https://caramel.run/)
-
CGSuitePlay Public
Playing with CGSuite Scripts in Eclipse https://github.com/aaron-siegel/cgsuite (for students)
Java UpdatedNov 18, 2021 -
cgsuite Public
Forked from aaron-siegel/cgsuiteA computer algebra system for research in combinatorial game theory
Java GNU General Public License v3.0 UpdatedNov 18, 2021
{{ message }}