Discover gergoerdi/icfp-bingo-2017-idris Open Source project

CHIP-8 implementation in Rust targeting AVR microcontrollers

chirp8-avr

Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH

clash-spaceinvaders

Tcl

tandoori

Compositional type checking for Haskell

Alef Lazily Evaluates Functions

alef

Common Lisp

clash-compucolor2

Clash implementation of the Compucolor II home computer

https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/

functional-mos6502-web-performance

JavaScript

clash-intel8080

Intel 8080 CPU core: software emulator and CLaSH hardware description

Generate interface between Clash and Verilator

clashilator

A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.

universe-of-syntax

Kansas Lava implementation of MOS 6502 microprocessor

mos6502-kansas-lava

STLC-related snippets in Agda

stlc-agda

interaction-nets

Haskell implementation of interaction net-based lambda evaluation

chirp8-c64

Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)

syntactic-stlc

A CPU that uses Brainfuck as its machine code

brainfuck-cpu-fpga

clash-tinybasic

Compositional type checking for a Hindley-Milner type system

hm-compo

Library implementation of "Generic description of well-scoped, well-typed syntaxes"

generic-syntax

FPGA implementation of the Chip8 platform, in Kansas Lava

chip8-papilio

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs

clash-pong

Tcl

retroclash-lib

Library code for upcoming RetroClash book

Brainfuck interpreter & compiler written in Haskell, with focus on readability instead of performance

brainfuck

Brainfuck CPU from simple logic gates

brainfuck-cpu

scottcheck

Brainfuck compiler that runs on the Commodore 64 (or any 6502-based computer supported by cc65 that has enough RAM)

brainfuck64

clash-shake

Playing around with CLaSH

clash-sandbox

Modular arithmetic in Agda

mod-arith

system-f-agda

System F

Small example programs from the RetroClash book

retroclash-book-code

chip8-haskell

CHIP-8 emulator

Brainfuck interpreter in Idris

brainfuck-idris

Enigma machine implemented in Kansas Lava

enigma-kansas-lava

Free applicative functors

free-applicative

CHIP-8 implemented in CλaSH.

chip8-clash

chirp8-engine

petbasic-parser

Agda implementation of McBride's "First-order unification by structural recursion" paper

mgu-agda

language-java-classfile

Parse Java .class files into language-java

Random utility functions shared between my CLaSH projects

clash-utils

chirp8-sdl

CHIP-8 implemented in Clash

chirp8-avr-simulator

C++

clash-chip8

Tiny Microcomputer built around MOS6502 microprocessor

tinymicro-mos6502-kansas-lava

Benchmark for various methods of simulating Clash

clash-bounce-bench

Free monoids take a price HIT

cubical-freemonoids

TeX

eightbit-kansas-lava

Kansas Lava implementation of eight-bit home computers

Kansas Lava support files for the Papilio FPGA board

kansas-lava-papilio

A CHIP-8 implementation for Z80

chip-80

Reproduction of http://forum.6502.org/viewtopic.php?p=84048#p84048

rust-mos-hello

Makefile

idris2-homelab

Rátkai István szöveges kalandjátékaival kapcsolatos programok: Z80 verzió, és játékfejlesztési toolok

ratkai

Seven-segment display & serial output with CLaSH

clash-sevensegment-serial

Hindley Milner type system modeled in Agda

hindleymilner-agda

empty-clash

tfb-reflex-repro

Example project using Clashilator

clashilator-example

Grid generator for Codenames & Codenames Duet

codenames

Games for the HomeLab-2 home computer

homelab2-games

World's jankiest Idris2 MOS 6502 core

idris2-mos6502

World's jankiest PureScript MOS 6502 core

purescript-pos6502

PureScript

clash-calculator

FPGA desktop calculator for seven-segment display and keypad, written in Clash

High-level simulators for the RetroClash book

retroclash-sim

HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT

hott-exercise

arrow-stack-compiler

2048 game for the CHIP-8 virtual machine

2048-CHIP8

Assembly

clash-flappysquare

Flappy Square, the Clash circuit from my Haskell Exchange 2022 talk

Tcl

tecs

Minimal Functional Language

MiFuLa