Ballemons

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell1 0 00
AshCalc
Python modules for calculating Exponential, Power law and Weibull distributions
Language:Python1 0 00
cedille
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Language:Agda1 0 00
coq-of-ocaml
Import OCaml programs to Coq 🐓 🐫
Language:OCaml1 0 00
coquedille
A Coq to Cedille compiler written in Coq
Language:Coq1 0 00
eticaret
Language:HTML1 0 00
gitmagic
A guide to using Git
Language:Makefile0 0 00
haskell-leb128-cereal
LEB128 encoding for Haskell
Language:Haskell0 0 00
nex
Lexer for Go
Language:Go0 0 00
react-budget-calculator
Language:JavaScript2 0 00

Ballemons's Repositories

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