-
sphinx Public
Forked from argumentcomputer/sphinxAn observatory fork of SP1 (contact: @huitseeker)
Rust Apache License 2.0 UpdatedSep 14, 2024 -
lurk-hs Public
Forked from argumentcomputer/lurk-hsHaskell Wrappers for Lurk
Haskell MIT License UpdatedSep 12, 2024 -
-
polyml Public
Forked from polyml/polymlPoly/ML
Standard ML GNU Lesser General Public License v2.1 UpdatedJul 23, 2024 -
vector-space Public
Forked from conal/vector-spaceVector & affine spaces, linear maps, and derivatives
Haskell Other UpdatedJul 11, 2024 -
verifereum Public
Forked from verifereum/verifereumProve functional correctness of Ethereum smart contracts in higher-order logic
Standard ML GNU General Public License v3.0 UpdatedJun 5, 2024 -
start-kadena Public
Forked from jwiegley/start-kadenaMy own Nix script for starting and testing a Kadena node
Nix UpdatedMay 21, 2024 -
HOL Public
Forked from HOL-Theorem-Prover/HOLCanonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Standard ML Other UpdatedMay 13, 2024 -
kadena.js Public
Forked from kadena-community/kadena.jsPublic monorepo for all Typescript/Javascript related tools and libs for Kadena
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedMar 27, 2024 -
Finite_Map_Extras Public
Forked from javierdiaz72/Finite_Map_ExtrasUseful syntactic sugar, new operators and functions, and their associated lemmas for finite maps which currently are not present in the standard `Finite_Map` theory.
Isabelle UpdatedDec 20, 2023 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedSep 18, 2023 -
rmview Public
Forked from bordaigorl/rmviewA live viewer for reMarkable written in PyQt5
Python GNU General Public License v3.0 UpdatedAug 25, 2023 -
sbv Public
Forked from LeventErkok/sbvSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Haskell Other UpdatedJul 8, 2023 -
pact Public
Forked from kadena-io/pactThe Pact Smart Contract Language
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 22, 2022 -
vim-pact Public
Forked from wsdjeg/vim-pactVim Script GNU General Public License v3.0 UpdatedDec 18, 2022 -
chainweaver Public
Forked from kadena-io/chainweaverKadena Chainweaver desktop wallet and web-based playground for Pact
Haskell UpdatedDec 16, 2022 -
web-naproche Public
Forked from naproche/web-naprocheWeb port of Naproche
Haskell MIT License UpdatedApr 6, 2022 -
google-maps-geocoding Public
Forked from mpilgrem/google-maps-geocodingHaskell bindings to the Google Maps Geocoding API
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2022 -
-
GP2 Public
Forked from UoYCS-plasma/GP2The rule-based graph programming language GP 2
C GNU General Public License v3.0 UpdatedJul 2, 2020 -
-
-
dotty Public
Forked from scala/scala3Research platform for new language concepts and compiler technologies for Scala.
Scala Other UpdatedNov 20, 2017