Anabra
Very much like to dive into research questions and solve problems with vaguely defined business requirements. My main interests are FP, compilers and PL theory.
Budapest
Pinned Repositories
actacyb-copyediting
Advanced-Haskell-Practice
advent-of-code-2021
aws-cloudformation-user-guide
The open source version of the AWS CloudFormation User Guide
CPP-Exam
Some practice for the upcoming C++ exam
DataBases
Repository for the ELTE Faculty of Informatics - Databases II subject
dead-extension-elimination-macs
Functional-Programming-Practice
Repository for the ELTE Faculty of Informatics - Functional Programming subject
haskell-tools
Developer tools for Haskell
tdk-2020
Anabra's Repositories
Anabra/Functional-Programming-Practice
Repository for the ELTE Faculty of Informatics - Functional Programming subject
Anabra/Advanced-Haskell-Practice
Anabra/haskell-tools
Developer tools for Haskell
Anabra/tdk-2020
Anabra/actacyb-copyediting
Anabra/advent-of-code-2021
Anabra/aws-cloudformation-user-guide
The open source version of the AWS CloudFormation User Guide
Anabra/DataBases
Repository for the ELTE Faculty of Informatics - Databases II subject
Anabra/dead-extension-elimination-macs
Anabra/Extension-Organizer
Extension Organizer for Haskell Tools
Anabra/final-thesis-bsc
Anabra/Formal-Semantics
Anabra/gavle
Collection of Clojure utility functions
Anabra/GPGPU
Anabra/grin
GRIN is a compiler back-end for lazy functional languages with whole program optimisation support
Anabra/grin-compiler.github.io
Anabra/grin-datalog-hpt-experiment
Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis
Anabra/haskell-tools-atom
An Atom editor binding for the Haskell-tools framework
Anabra/homplexity
Haskell code complexity and quality measurement
Anabra/hoogle
Haskell API search engine
Anabra/http-client
An HTTP client engine, intended as a base layer for more user-friendly packages.
Anabra/idris-grin
GRIN backend for Idris
Anabra/imdb-quest
Anabra/junicamp-c-exam
Anabra/leksah
Haskell IDE
Anabra/mathematical-foundations-of-computer-graphics
Anabra/pandoc
Universal markup converter
Anabra/tasty
Modern and extensible testing framework for Haskell
Anabra/type-systems
Repository for the Type Systems university course
Anabra/yesod
A RESTful Haskell web framework built on WAI.