-
koika Public
Forked from Barkhausen-Institut/koikaA core language for rule-based hardware design 🦑 This fork acts as a stopgap to make Kôika work on newer versions of Coq, OCaml, and NixOS
Coq GNU General Public License v3.0 UpdatedMar 1, 2025 -
coq-record-update Public
Forked from tchajed/coq-record-updateLibrary to create Coq record update functions
Coq MIT License UpdatedFeb 27, 2025 -
solaralignments Public
Rudimentary tool to find solar alignments, based on Jean Meeus' Astronomical Algorithms
OCaml GNU Lesser General Public License v3.0 UpdatedJan 27, 2025 -
ansel Public
Forked from aurelienpierreeng/anselA darktable fork minus the bloat plus some design vision.
C GNU General Public License v3.0 UpdatedDec 18, 2024 -
-
coq Public
Forked from rocq-prover/rocqCoq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedSep 12, 2022 -
Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.
-
oriscv Public
A RISC-V instruction decoder/statistics generator written in OCaml
-
learn-ocaml Public
Forked from ocaml-sf/learn-ocamlA Web Application for Learning OCaml
OCaml Other UpdatedSep 26, 2020 -
pfitaxel-demo-dev Public
Forked from pfitaxel/pfitaxel-demo-devDemo of the learn-ocaml-editor
Shell UpdatedJun 23, 2020 -
-
airspyone_host Public
Forked from airspy/airspyone_hostAirSpy's usemode driver and associated tools
C UpdatedApr 8, 2019 -
magit Public
Forked from magit/magitIt's Magit! A Git porcelain inside Emacs.
-
-
git-1 Public
Forked from go-gitea/gitA Go module for Git access through shell
Go MIT License UpdatedApr 22, 2018 -
gitea Public
Forked from go-gitea/giteaGitea: Git with a cup of tea
-
Adafruit_ADS1X15 Public
Forked from adafruit/Adafruit_ADS1X15Driver for TI's ADS1015: 12-bit Differential or Single-Ended ADC with PGA and Comparator
C Other UpdatedJul 15, 2016
{{ message }}