-
-
parany Public
Forked from UnixJunkie/paranyParallelize _anything_ //
OCaml Other UpdatedSep 11, 2021 -
-
Mainroad Public
Forked from Vimux/MainroadResponsive, simple, clean and content-focused Hugo theme based on the MH Magazine lite WordPress theme
HTML GNU General Public License v2.0 UpdatedMar 27, 2021 -
opium Public
Forked from rgrinberg/opiumSinatra like web toolkit for OCaml
OCaml MIT License UpdatedMar 22, 2021 -
qcert Public
Forked from querycert/qcertCompilation and Verification of Data-Centric Languages
Coq Apache License 2.0 UpdatedAug 14, 2020 -
ergo Public
Forked from accordproject/ergoThe Ergo Language for Smart Legal Contracts
Coq Apache License 2.0 UpdatedJul 17, 2020 -
spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedJun 4, 2020 -
postgrest-docs Public
Forked from PostgREST/postgrest-docsDocumentation for
Python UpdatedMar 17, 2020 -
incr_dom_widgets Public
Forked from janestreet/incr_dom_widgetsA library of libraries and widgets for Incr_dom applications.
OCaml MIT License UpdatedMar 25, 2019 -
BlockSci Public
Forked from citp/BlockSciA high-performance tool for blockchain science and exploration
C++ GNU General Public License v3.0 UpdatedJan 21, 2019 -
-
crypto-portfolio Public
Command line reports for cryptocurrency portfolios using coinmarketcap.com data
-
ocaml-tableau Public
Basic tableau prover written in ocaml
-
bucklescript-tea Public
Forked from OvermindDL1/bucklescript-teaTEA for Bucklescript
OCaml Other UpdatedOct 31, 2017 -
bucklescript-tea-starter-kit Public
Forked from tcoopman/bucklescript-tea-starter-kitStarter kit for bucklescript with the elm architecture
OCaml UpdatedOct 15, 2017 -
vimtex Public
Forked from lervag/vimtexA modern vim plugin for editing LaTeX files.
Vim Script MIT License UpdatedJun 28, 2017 -
Idris-dev Public
Forked from idris-lang/Idris-devA Dependently Typed Functional Programming Language
Haskell Other UpdatedJan 14, 2017 -
beets Public
Forked from beetbox/beetsmusic library manager and MusicBrainz tagger
Python MIT License UpdatedMay 3, 2016
{{ message }}