csabahruska/lambdacube-stunts

Remake of Stunts 4D Sports Driving in Haskell

Language: Haskell - Size: 950 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 1

csabahruska/jhc-components

JHC Haskell compiler split into reusable components

Language: Haskell - Size: 773 KB - Last synced at: 13 days ago - Pushed at: over 6 years ago - Stars: 58 - Forks: 13

csabahruska/manual-stg-experiment

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

Language: Haskell - Size: 9.77 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 23 - Forks: 3

csabahruska/bullet

Haskell binding for Bullet physics engine

Language: C++ - Size: 978 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 24 - Forks: 4

csabahruska/proteaaudio

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

Language: C++ - Size: 5.37 MB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 29 - Forks: 8

csabahruska/demoscene

Demoscene: Lambda Team

Language: Haskell - Size: 60.8 MB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 20 - Forks: 5

csabahruska/p4f-control-flow-analysis

Haskell implementation of P4F Control-Flow Analysis

Language: Haskell - Size: 35.2 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 1

csabahruska/gpipe-quake3

Quake 3 map viewer in Haskell using GPipe

Language: Haskell - Size: 258 KB - Last synced at: 4 months ago - Pushed at: almost 8 years ago - Stars: 31 - Forks: 3

csabahruska/final-pretty-printer Fork of david-christiansen/final-pretty-printer

A monadic (and pretty) pretty printer for Haskell

Language: Haskell - Size: 65.4 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

csabahruska/gephi Fork of gephi/gephi

Gephi - The Open Graph Viz Platform

Language: Java - Size: 497 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

csabahruska/stackage Fork of commercialhaskell/stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language: Shell - Size: 2.68 MB - Last synced at: over 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

csabahruska/andersencpu Fork of chenruibuaa/andersencpu

Automatically exported from code.google.com/p/andersencpu

Language: Java - Size: 125 MB - Last synced at: over 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

csabahruska/thih Fork of wh5a/thih

Typing Haskell in Haskell

Language: Haskell - Size: 430 KB - Last synced at: over 2 years ago - Pushed at: over 15 years ago - Stars: 0 - Forks: 0

csabahruska/PureEqSat Fork of simedw/PureEqSat

Equality Saturation for a small pure language

Language: Haskell - Size: 85 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

csabahruska/unzip-zstd Fork of LuaDist/unzip

Info-ZIP unzip utility with zstd compression method support

Language: C - Size: 1.56 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

csabahruska/unzip-arch-zstd Fork of antermin/unzip-arch-zstd

unzip 6.0 with Arch Linux patches and Zstd support by csabahruska

Language: C - Size: 1.36 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

csabahruska/peridot Fork of eashanhatti/peridot

A fast functional language based on two level type theory

Size: 539 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

csabahruska/simple-grin Fork of fizruk/simple-grin

Compiler from a simple functional language to GRIN.

Size: 71.3 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

csabahruska/game-logic-experiment

experiment with game logic representation in haskell

Language: Haskell - Size: 29.3 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 1

csabahruska/wavefront Fork of phaazon/wavefront

Haskell Wavefront OBJ loader library

Language: Haskell - Size: 28.3 KB - Last synced at: over 2 years ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0

csabahruska/csabahruska.com

Language: HTML - Size: 1000 Bytes - Last synced at: 18 days ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

csabahruska/souffle Fork of souffle-lang/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.

Size: 513 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

csabahruska/jhc-grin

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

Language: Haskell - Size: 242 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 16 - Forks: 2

csabahruska/IdrisExtSTGCodegen Fork of andorp/IdrisExtSTGCodegen

Language: JavaScript - Size: 3.15 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

csabahruska/zip Fork of mrkkrp/zip

Efficient library for manipulating zip archives

Language: Haskell - Size: 255 KB - Last synced at: over 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

csabahruska/Idris2 Fork of idris-lang/Idris2

A purely functional programming language with first class types

Language: Idris - Size: 5.52 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

csabahruska/souffle-haskell Fork of luc-tielen/souffle-haskell

Haskell bindings for the Souffle datalog language

Language: C++ - Size: 434 KB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

csabahruska/dsl-experiment

Basic implementation of Hindley-Milner Type System and variants.

Language: Haskell - Size: 13.7 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0

csabahruska/lang-experiments Fork of robinvd/lang-experiments

Language: Haskell - Size: 99.6 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

csabahruska/ghc-bug-sample

GHC Quickest flavour bug

Language: Shell - Size: 1.95 KB - Last synced at: 22 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

csabahruska/q3-prototype

Language: Haskell - Size: 11.7 KB - Last synced at: about 1 month ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 0

csabahruska/partial-evaluation

simple functional language to experiment with partial evaluation

Language: Haskell - Size: 52.7 KB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 2 - Forks: 1

csabahruska/jhc

Experiments with JHC Haskell compiler

Language: Haskell - Size: 2.72 MB - Last synced at: 22 days ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

csabahruska/immunity

Language: Haskell - Size: 789 KB - Last synced at: 4 months ago - Pushed at: over 10 years ago - Stars: 3 - Forks: 1

csabahruska/q3demo

Language: Haskell - Size: 141 KB - Last synced at: 4 months ago - Pushed at: over 13 years ago - Stars: 2 - Forks: 0

csabahruska/WebM

Language: Haskell - Size: 93.8 KB - Last synced at: 4 months ago - Pushed at: almost 14 years ago - Stars: 2 - Forks: 0

csabahruska/GFXDemo

Language: Haskell - Size: 1.51 MB - Last synced at: 4 months ago - Pushed at: over 12 years ago - Stars: 8 - Forks: 0

csabahruska/grin-datalog-hpt-experiment

Experiment to model GRIN in Souffle/Datalog with Heap Points-To Analysis

Size: 17.6 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 1

csabahruska/flrc-lib Fork of IntelLabs/flrc-lib

Pillar compiler, Pillar runtime, garbage collector.

Language: C++ - Size: 1.21 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

csabahruska/souffle-lang.github.io Fork of souffle-lang/souffle-lang.github.io

Soufflé

Size: 21.8 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

csabahruska/Elsa Fork of emacs-elsa/Elsa

Emacs Lisp Static Analyzer

Language: Emacs Lisp - Size: 900 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

csabahruska/llvm-hs Fork of llvm-hs/llvm-hs

Haskell bindings for LLVM

Language: LLVM - Size: 13.2 MB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 1

csabahruska/andersen Fork of grievejia/andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

Language: C++ - Size: 1.04 MB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

csabahruska/andersengpu Fork of chenruibuaa/andersengpu

Automatically exported from code.google.com/p/andersengpu

Language: Cuda - Size: 122 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/lambdachine Fork of nominolo/lambdachine

VM and tracing JIT for Haskell (work in progress)

Language: Haskell - Size: 6.21 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/flrc Fork of IntelLabs/flrc

Haskell Research Compiler

Language: Standard ML - Size: 2.11 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/text-short Fork of haskell-hvr/text-short

Memory-efficient representation of Unicode text strings

Language: Haskell - Size: 81.1 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/cayman Fork of pages-themes/cayman

Cayman is a Jekyll theme for GitHub Pages

Language: CSS - Size: 163 KB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/jhc-revamp Fork of seagull-kamome/jhc

fork jhc haskell compiler.

Language: Haskell - Size: 1.18 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/gibbon Fork of iu-parfunc/gibbon

A tree walking benchmark

Language: Haskell - Size: 6.72 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

csabahruska/flrc-benchmarks Fork of IntelLabs/flrc-benchmarks

Benchmarks for use with IntelLabs/flrc.

Language: Haskell - Size: 5.69 MB - Last synced at: over 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

csabahruska/lafonten Fork of cobbpg/lafonten

LambdaCube Font Engine

Language: Haskell - Size: 295 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

csabahruska/node-editor

Language: JavaScript - Size: 112 KB - Last synced at: 11 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

csabahruska/awesome-recursion-schemes Fork of passy/awesome-recursion-schemes

Resources for learning and using recursion schemes.

Size: 22.5 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

csabahruska/lhc Fork of lemmih/lhc

The LLVM LHC Haskell Optimization System

Language: Haskell - Size: 16.8 MB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

csabahruska/lambdacube.addon

LambdaCube Blender addon

Language: Python - Size: 207 KB - Last synced at: 4 months ago - Pushed at: over 12 years ago - Stars: 4 - Forks: 1

csabahruska/x86-64 Fork of divipp/x86-64

Runtime code generation for x86 64 bit machine code

Language: Haskell - Size: 112 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

csabahruska/sar Fork of homelesshack/sar

#homelesshack

Language: HTML - Size: 886 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 0