Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
AshCalc
Python modules for calculating Exponential, Power law and Weibull distributions
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
coquedille
A Coq to Cedille compiler written in Coq
eticaret
gitmagic
A guide to using Git
haskell-leb128-cereal
LEB128 encoding for Haskell
nex
Lexer for Go
react-budget-calculator
Ballemons's Repositories
Ballemons/react-budget-calculator
Ballemons/agda
Agda is a dependently typed programming language / interactive theorem prover.
Ballemons/AshCalc
Python modules for calculating Exponential, Power law and Weibull distributions
Ballemons/cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Ballemons/coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
Ballemons/coquedille
A Coq to Cedille compiler written in Coq
Ballemons/eticaret
Ballemons/gitignore
A collection of useful .gitignore templates
Ballemons/hastane-otomasyonu
Ballemons/language-server-protocol
Defines a common protocol for language servers.
Ballemons/PathVision
Python tool for visualising algebraic best-path problems
Ballemons/pedrotheory
Ballemons/personel-otomasyonu
Ballemons/plfa.github.io
Introduction to programming language theory in Agda
Ballemons/UKRacketlon
Joomla template and custom components for the UK Racketlon website (www.racketlon.co.uk)
Ballemons/gitmagic
A guide to using Git
Ballemons/haskell-leb128-cereal
LEB128 encoding for Haskell
Ballemons/nex
Lexer for Go
Ballemons/agda-routing
An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
Ballemons/bitcoin
Bitcoin Core integration/staging tree
Ballemons/combotrain
JavaScript games
Ballemons/core
MIRACL Core
Ballemons/Flask-Api
Ballemons/hol-light
The HOL Light theorem prover (moved from Google code)
Ballemons/k3yl06Ger
Advanced keylogger with multifeatures written in C/C++ , work on all windows versions !
Ballemons/netwalk
Puzzle game: connect all terminals to the server
Ballemons/pbc
The Pairing-based Crypto library
Ballemons/SanalMarket
Ballemons/toservemanpages
Ballemons/vuex-marvel-api