Name: Csaba Hruska
Type: User
Bio: 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.
Twitter: csaba_hruska
Location: London
andersen
Andersen's inclusion-based pointer analysis re-implementation in LLVM
andersencpu
Automatically exported from code.google.com/p/andersencpu
andersengpu
Automatically exported from code.google.com/p/andersengpu
awesome-recursion-schemes
Resources for learning and using recursion schemes.
bullet
Haskell binding for Bullet physics engine
cayman
Cayman is a Jekyll theme for GitHub Pages
csabahruska.com
demoscene
Demoscene: Lambda Team
dsl-experiment
Basic implementation of Hindley-Milner Type System and variants.
elsa
Emacs Lisp Static Analyzer
final-pretty-printer
A monadic (and pretty) pretty printer for Haskell
flrc
Haskell Research Compiler
flrc-benchmarks
Benchmarks for use with IntelLabs/flrc.
flrc-lib
Pillar compiler, Pillar runtime, garbage collector.
game-logic-experiment
experiment with game logic representation in haskell
gephi
Gephi - The Open Graph Viz Platform
gfxdemo
ghc-bug-sample
GHC Quickest flavour bug
ghc-rts-data-layout-experiment
gibbon
A tree walking benchmark
gpipe-quake3
Quake 3 map viewer in Haskell using GPipe
grin-datalog-hpt-experiment
Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis
idris2
A purely functional programming language with first class types
idrisextstgcodegen
immunity
jhc
Experiments with JHC Haskell compiler
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)
jhc-revamp
fork jhc haskell compiler.
lafonten
LambdaCube Font Engine
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
