AndrasKovacs/langs-and-paradigms
ELTE IK Programming languages and paradigms lecture
Developer Profile
AndrasKovacs
Discovered public repositories for AndrasKovacs in the GitHub catalog.
AndrasKovacs/singleton-nats
Unary natural numbers relying on the singletons infrastructure
AndrasKovacs/elte-cbsd
"Component based software development" course assignments.
AndrasKovacs/array-primops
Extra foreign primops for primitive arrays.
AndrasKovacs/extensible-effects
Extensible Effects: An Alternative to Monad Transformers
AndrasKovacs/SemanticsWithApplications
Formal semantics in Agda.
AndrasKovacs/while-hs
Translation of an undergrad course compiler to Haskell.
AndrasKovacs/trie-vector
Clojure-style persistent vector for Haskell.
AndrasKovacs/unordered-containers
Efficient hashing-based container types
AndrasKovacs/Bidirectional
Public repository.
AndrasKovacs/Botworld
A cellular automaton for studying self-modifying agents which are embedded in their environment
AndrasKovacs/dynamic-mvector
A wrapper around MVector that enables push/pop/append functionality.
AndrasKovacs/elements-of-compsys
Projects for the book "The Elements of Computing Systems"
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/cpp-show
Converting C++11 types and containers to strings universally.
AndrasKovacs/dawg
Generation and traversal of highly compressed directed acyclic word graphs.
AndrasKovacs/bi-zipper
Simple bidirectional zipper from any Traversable.
AndrasKovacs/scrabble-bot
Scrabble move generation
AndrasKovacs/dawg-gen
Creates highly compressed directed acyclic word graphs from word lists.
AndrasKovacs/tetris-remake
Tetris 3.12 remake in Python and libtcod