-
hacksat-starter Public
Forked from parsimoni-labs/hacksat-starterDocumentation and template to get started on https://hacksat.dev
OCaml UpdatedMay 21, 2025 -
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedMar 17, 2025 -
-
tutorial-applications Public
Forked from trilitech/tutorial-applicationsCompleted applications from the tutorials on docs.tezos.com
Python UpdatedDec 12, 2024 -
-
irmin Public
Forked from mirage/irminIrmin is a distributed database that follows the same design principles as Git
OCaml ISC License UpdatedJan 4, 2024 -
baking-potato Public
A game of 'hot-potato' implemented on the Tezos blockchain
LigoLANG UpdatedDec 8, 2023 -
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 UpdatedMar 19, 2023 -
crypto-ecosystems Public
Forked from electric-capital/crypto-ecosystemsA taxonomy for open source cryptocurrency, blockchain, and decentralized ecosystems
Rust Other UpdatedJan 5, 2023 -
-
-
-
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
HTML Other UpdatedNov 22, 2021 -
smart-contracts Public
Forked from oxheadalpha/smart-contractsA library of smart contracts
OCaml MIT License UpdatedJul 1, 2021 -
-
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs configuration for the stubborn martian vimmer
Emacs Lisp MIT License UpdatedFeb 14, 2020 -
ocaml-multicore Public
Forked from ocaml-multicore/ocaml-multicoreMulticore OCaml
OCaml Other UpdatedNov 7, 2019 -
-
Hero-Product Public
Forked from tailwindtoolbox/Hero-ProductTailwind CSS Starter Template - Hero Product
HTML MIT License UpdatedMay 16, 2019 -
tapl Public
Exercises and such from Types and Programming Languages book (Pierce)
OCaml MIT License UpdatedMar 21, 2019 -
type-driven-dev Public
exercises from Edwin Brady book 'Type Driven Development with Idris'
-
incremental Public
synchronous clocked dataflow in Idris - WIP
-
scratch Public
scratch area for learning stuff
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 16, 2016 -
blash Public
In progress - Haskell implementation of the BLAS interface
-
requirejs Public
Forked from requirejs/requirejsA file and module loader for JavaScript
JavaScript Other UpdatedAug 20, 2015 -
feeding-haskell-to-ambiants Public
Forked from londonhaskell/feeding-haskell-to-ambiants"Dinner with Ambiants" code puzzles and solutions for London Haskell meetings
Haskell UpdatedJan 20, 2014 -
-
heroku-buildpack-python Public
Forked from heroku/heroku-buildpack-pythonPython buildpack
-
npscipy-binaries Public
Binaries for numpy/scipy on 64bit debian. Includes blas/lapack/atlas/gfortran archive and so files.
-
{{ message }}