Dr. Gergő Érdi Dr. Gergő Érdi

Tracking 1.66K commits to 59 open source packages

Finite tape Turing machine


Repositories

gergoerdi/metafun
Compile Haskell-like code into C++ template metaprograms
Haskell - GPL-3.0 - Last pushed - 36 stars - 3 forks
gergoerdi/brainfuck
Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of perform...
Haskell - BSD-3-Clause - Last pushed - 7 stars
gergoerdi/chip8-papilio
FPGA implementation of the Chip8 platform, in Kansas Lava
Haskell - GPL-2.0 - Last pushed - 7 stars
gergoerdi/tandoori
Compositional type checking for Haskell
Haskell - BSD-3-Clause - Last pushed - 21 stars - 3 forks
gergoerdi/mos6502-kansas-lava
Kansas Lava implementation of MOS 6502 microprocessor
Haskell - BSD-3-Clause - Last pushed - 10 stars - 1 forks
gergoerdi/icfp-bingo-2017-idris
ICFP Bingo 2017 (Idris edition)
Idris - Last pushed - 18 stars - 2 forks
See all Dr. Gergő Érdi's repositories

Repositories Contributed To

hsyl20/ghc
Haskell - Other - Last pushed - 0 stars
tjakway/ghcjvm
Haskell - BSD-3-Clause - Last pushed - 4 stars
graham-at-target/ghc
Haskell - Other - Last pushed - 0 stars
shayan-najd/NativeMetaprogramming
Native Metaprogramming in Haskell
Haskell - BSD-3-Clause - Last pushed - 7 stars
nushio3/ghc
Haskell - BSD-3-Clause - Last pushed - 0 stars
bitemyapp/ghc
ghc in-progress
Haskell - BSD-3-Clause - Last pushed - 0 stars
See all Dr. Gergő Érdi's contributions

Published Packages

kansas-lava-papilio
IO definitions of the Papilio FPGA board and its Wings and MegaWings
Latest release 0.3.1 - Updated - 1 stars
language-java-classfile
Parses compiled Java .class files into the syntax tree of the language-java package
Latest release 0.2.0 - Updated - 2 stars
See all Dr. Gergő Érdi's packages

Most Used Packages

crossbeam
Tools for concurrent programming
Latest release 0.7.3 - Updated - 2.78K stars
num-iter
External iterators for generic mathematics
Latest release 0.1.41 - Updated - 7 stars
sdl2
SDL2 bindings for Rust
Latest release 0.34.2 - Updated - 1.35K stars
rand
Random number generators and other randomness functionality.
Latest release 0.7.3 - Updated - 571 stars
libc
Raw FFI bindings to platform libraries like libc.
Latest release 0.2.71 - Updated - 793 stars
lazy_static
A macro for declaring lazily evaluated statics in Rust.
Latest release 1.4.0 - Updated - 795 stars
See all Dr. Gergő Érdi's most used packages

Last synced: 2016-12-16 21:03:44 UTC

Login to resync this page