Csaba Hruska

icon indicating a website link https://grin-compiler.github.io/ icon indicating an email [email protected]

icon location London icon location 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.

Results 8 repositories owned by Csaba Hruska

bullet

24
Stars
4
Forks
Watchers

Haskell binding for Bullet physics engine

verified publisher icon csabahruska

gpipe-quake3

31
Stars
3
Forks
Watchers

Quake 3 map viewer in Haskell using GPipe

verified publisher icon csabahruska

jhc-components

57
Stars
12
Forks
Watchers

JHC Haskell compiler split into reusable components

verified publisher icon csabahruska

demoscene

19
Stars
5
Forks
Watchers

Demoscene: Lambda Team

verified publisher icon csabahruska

jhc-grin

16
Stars
2
Forks
Watchers

GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)

verified publisher icon csabahruska

manual-stg-experiment

22
Stars
2
Forks
Watchers

Manually constructed STG programs compiled with the standard GHC codegen backend.

verified publisher icon csabahruska

p4f-control-flow-analysis

20
Stars
1
Forks
Watchers

Haskell implementation of P4F Control-Flow Analysis

verified publisher icon csabahruska

proteaaudio

28
Stars
8
Forks
Watchers

Simple audio library for Windows, Linux, OSX. Supports Mp3, Ogg, Wav playback and multichannel mixing.

verified publisher icon csabahruska