Block or Report
Block or report Ballemons
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
agda-routing Public
Forked from MatthewDaggitt/agda-routingAn Agda library for reasoning about asynchronous iterative algorithms and network routing problems
Agda UpdatedJun 2, 2021 -
coq-of-ocaml Public
Forked from pedrotst/coq-of-ocamlImport OCaml programs to Coq 🐓 🐫
-
k3yl06Ger Public
Forked from ZeroMemoryEx/OrcaAdvanced keylogger with multifeatures written in C/C++ , work on all windows versions !
C++ UpdatedMay 10, 2021 -
AshCalc Public
Forked from MatthewDaggitt/AshCalcPython modules for calculating Exponential, Power law and Weibull distributions
-
gitmagic Public
Forked from blynn/gitmagicA guide to using Git
Makefile GNU General Public License v3.0 UpdatedApr 26, 2021 -
The Pairing-based Crypto library
C GNU Lesser General Public License v3.0 UpdatedMar 30, 2021 -
Lexer for Go
Go GNU General Public License v3.0 UpdatedMar 30, 2021 -
netwalk Public
Forked from blynn/netwalkPuzzle game: connect all terminals to the server
C GNU General Public License v3.0 UpdatedJan 18, 2021 -
language-server-protocol Public
Forked from MatthewDaggitt/language-server-protocolDefines a common protocol for language servers.
-
react-budget-calculator Public
Forked from LeylaY1996/react-budget-calculator -
-
bitcoin Public
Forked from ZeroMemoryEx/bitcoinBitcoin Core integration/staging tree
C++ MIT License UpdatedNov 2, 2020 -
-
-
gitignore Public
Forked from pedrotst/gitignoreA collection of useful .gitignore templates
-
coquedille Public
Forked from pedrotst/coquedilleA Coq to Cedille compiler written in Coq
-
-
-
combotrain Public
Forked from blynn/combotrainJavaScript games
JavaScript GNU General Public License v3.0 UpdatedJul 3, 2020 -
haskell-leb128-cereal Public
Forked from blynn/haskell-leb128-cerealLEB128 encoding for Haskell
Haskell MIT License UpdatedJun 12, 2020 -
-
-
agda Public
Forked from pedrotst/agdaAgda is a dependently typed programming language / interactive theorem prover.
-
plfa.github.io Public
Forked from pedrotst/plfa.github.ioIntroduction to programming language theory in Agda
-
cedille Public
Forked from pedrotst/cedilleCedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
-
UKRacketlon Public
Forked from MatthewDaggitt/UKRacketlonJoomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)
-
PathVision Public
Forked from MatthewDaggitt/PathVisionPython tool for visualising algebraic best-path problems
-
hol-light Public
Forked from blynn/hol-lightThe HOL Light theorem prover (moved from Google code)
OCaml Other UpdatedFeb 8, 2020 -
-