Pinned Repositories
cctt
high-performance cubical evaluation
dtt-rtcg
Demo for dependent types + runtime code generation
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
flatparse
Fast parsing from bytestrings
normalization-bench
Lambda normalization and conversion checking benchmarks for various implementations
setoidtt
Prototype implementations of systems based on setoid type theory
smalltt
Demo for high-performance type theory elaboration
staged
Staged compilation with dependent types
staged-fusion
Staged push/pull fusion with typed Template Haskell
system-f-omega
System F-omega normalization by hereditary substitution in Agda
AndrasKovacs's Repositories
AndrasKovacs/SemanticsWithApplications
Formal semantics in Agda.
AndrasKovacs/bf
Fast Haskell brainfuck interpreter
AndrasKovacs/bi-zipper
Simple bidirectional zipper from any Traversable.
AndrasKovacs/chapman-big-step-normalization
Big-step normalization (formalized in Agda)
AndrasKovacs/elements-of-compsys
Projects for the book "The Elements of Computing Systems"
AndrasKovacs/elte-cbsd
"Component based software development" course assignments.
AndrasKovacs/haskell-performance
Miscellaneous Haskell benchmarks
AndrasKovacs/scrabble-bot
Scrabble move generation
AndrasKovacs/while-hs
Translation of an undergrad course compiler to Haskell.
AndrasKovacs/Bidirectional
AndrasKovacs/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
AndrasKovacs/coq-haskell
A library for formalizing Haskell types and functions in Coq
AndrasKovacs/cpp-show
Converting C++11 types and containers to strings universally.
AndrasKovacs/Cubes
AndrasKovacs/cubes-1
AndrasKovacs/eff-inference
Demonstration of type inference for extensible effects with GHC 8
AndrasKovacs/extensible-effects
Extensible Effects: An Alternative to Monad Transformers
AndrasKovacs/ghc
Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
AndrasKovacs/Haskell-Morte-Library
A bare-bones calculus-of-constructions
AndrasKovacs/hott-agda
AndrasKovacs/langs-and-paradigms
ELTE IK Programming languages and paradigms lecture
AndrasKovacs/OTT
AndrasKovacs/purescript
A small strongly typed language that compiles to Javascript
AndrasKovacs/random-stuff
AndrasKovacs/serv
Reimplementation of Haskell's Servant using a kinder type API
AndrasKovacs/tetris-remake
Tetris 3.12 remake in Python and libtcod
AndrasKovacs/unordered-containers
Efficient hashing-based container types