csabahruska
I'm a software engineer and I'm keen on doing research and development. I work on compilers and static analyses. I like Haskell, Idris2 and machine code.
London
Pinned Repositories
bullet
Haskell binding for Bullet physics engine
demoscene
Demoscene: Lambda Team
GFXDemo
gpipe-quake3
Quake 3 map viewer in Haskell using GPipe
jhc-components
JHC Haskell compiler split into reusable components
jhc-grin
GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)
lambdacube-stunts
Remake of Stunts 4D Sports Driving in Haskell
manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
p4f-control-flow-analysis
Haskell implementation of P4F Control-Flow Analysis
proteaaudio
Simple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.
csabahruska's Repositories
csabahruska/proteaaudio
Simple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.
csabahruska/bullet
Haskell binding for Bullet physics engine
csabahruska/manual-stg-experiment
Manually constructed STG programs compiled with the standard GHC codegen backend.
csabahruska/p4f-control-flow-analysis
Haskell implementation of P4F Control-Flow Analysis
csabahruska/demoscene
Demoscene: Lambda Team
csabahruska/dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
csabahruska/game-logic-experiment
experiment with game logic representation in haskell
csabahruska/grin-datalog-hpt-experiment
Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis
csabahruska/unzip-arch-zstd
unzip 6.0 with Arch Linux patches and Zstd support by csabahruska
csabahruska/unzip-zstd
Info-ZIP unzip utility with zstd compression method support
csabahruska/csabahruska.com
csabahruska/flrc-lib
Pillar compiler, Pillar runtime, garbage collector.
csabahruska/ghc-rts-data-layout-experiment
csabahruska/peridot
A fast functional language based on two level type theory
csabahruska/andersengpu
Automatically exported from code.google.com/p/andersengpu
csabahruska/Elsa
Emacs Lisp Static Analyzer
csabahruska/final-pretty-printer
A monadic (and pretty) pretty printer for Haskell
csabahruska/gephi
Gephi - The Open Graph Viz Platform
csabahruska/ghc-bug-sample
GHC Quickest flavour bug
csabahruska/Idris2
A purely functional programming language with first class types
csabahruska/IdrisExtSTGCodegen
csabahruska/lambdachine
VM and tracing JIT for Haskell (work in progress)
csabahruska/lang-experiments
csabahruska/language-c
Source repository for https://hackage.haskell.org/package/language-c
csabahruska/llvm-hs
Haskell bindings for LLVM
csabahruska/simple-grin
Compiler from a simple functional language to GRIN.
csabahruska/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
csabahruska/souffle-haskell
Haskell bindings for the Souffle datalog language
csabahruska/souffle-lang.github.io
Soufflé
csabahruska/zip
Efficient library for manipulating zip archives