gergoerdi/clash-flappysquare gergoerdi/clash-flappysquare

  • Stars
    star
    1
  • Language Tcl
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gergoerdi/clash-flappysquare
github

gergoerdi

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More Repositories

1

metafun

Compile Haskell-like code into C++ template metaprograms
Haskell
56
star
2

chirp8-avr

CHIP-8 implementation in Rust targeting AVR microcontrollers
Rust
47
star
3

clash-spaceinvaders

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

tandoori

Compositional type checking for Haskell
Haskell
33
star
5

alef

Alef Lazily Evaluates Functions
Common Lisp
31
star
6

icfp-bingo-2017-idris

ICFP Bingo 2017 (Idris edition)
Idris
30
star
7

clash-compucolor2

Clash implementation of the Compucolor II home computer
Haskell
28
star
8

functional-mos6502-web-performance

https://unsafeperform.io/blog/2022-07-02-a_small_benchmark_for_functional_languages_targeting_web_browsers/
JavaScript
24
star
9

clash-intel8080

Intel 8080 CPU core: software emulator and CLaSH hardware description
Haskell
21
star
10

clashilator

Generate interface between Clash and Verilator
Haskell
19
star
11

universe-of-syntax

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.
Agda
16
star
12

mos6502-kansas-lava

Kansas Lava implementation of MOS 6502 microprocessor
Haskell
15
star
13

stlc-agda

STLC-related snippets in Agda
15
star
14

interaction-nets

Haskell implementation of interaction net-based lambda evaluation
Haskell
15
star
15

chirp8-c64

Rust
14
star
16

syntactic-stlc

Syntactic evaluation of STLC (incl. proof of normalization a la Software Foundations)
Agda
13
star
17

brainfuck-cpu-fpga

A CPU that uses Brainfuck as its machine code
Haskell
13
star
18

clash-tinybasic

Haskell
11
star
19

hm-compo

Compositional type checking for a Hindley-Milner type system
Haskell
11
star
20

generic-syntax

Library implementation of "Generic description of well-scoped, well-typed syntaxes"
Agda
11
star
21

chip8-papilio

FPGA implementation of the Chip8 platform, in Kansas Lava
Haskell
10
star
22

clash-pong

Pong in Haskell / Clash, running as software using SDL and as hardware targeting FPGAs
Tcl
9
star
23

retroclash-lib

Library code for upcoming RetroClash book
Haskell
9
star
24

brainfuck

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

brainfuck-cpu

Brainfuck CPU from simple logic gates
8
star
26

scottcheck

Haskell
7
star
27

brainfuck64

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

clash-shake

Haskell
6
star
29

clash-sandbox

Playing around with CLaSH
Haskell
6
star
30

mod-arith

Modular arithmetic in Agda
6
star
31

system-f-agda

System F
Agda
5
star
32

retroclash-book-code

Small example programs from the RetroClash book
Haskell
5
star
33

chip8-haskell

CHIP-8 emulator
Haskell
5
star
34

brainfuck-idris

Brainfuck interpreter in Idris
Idris
4
star
35

enigma-kansas-lava

Enigma machine implemented in Kansas Lava
Haskell
4
star
36

free-applicative

Free applicative functors
Haskell
4
star
37

chip8-clash

CHIP-8 implemented in CλaSH.
Haskell
4
star
38

chirp8-engine

Rust
4
star
39

petbasic-parser

Idris
3
star
40

mgu-agda

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

language-java-classfile

Parse Java .class files into language-java
Haskell
3
star
42

clash-utils

Random utility functions shared between my CLaSH projects
Haskell
3
star
43

chirp8-sdl

Rust
3
star
44

chirp8-avr-simulator

C++
3
star
45

clash-chip8

CHIP-8 implemented in Clash
Haskell
3
star
46

tinymicro-mos6502-kansas-lava

Tiny Microcomputer built around MOS6502 microprocessor
Haskell
3
star
47

clash-bounce-bench

Benchmark for various methods of simulating Clash
Haskell
3
star
48

cubical-freemonoids

Free monoids take a price HIT
TeX
3
star
49

eightbit-kansas-lava

Kansas Lava implementation of eight-bit home computers
Haskell
3
star
50

kansas-lava-papilio

Kansas Lava support files for the Papilio FPGA board
Haskell
2
star
51

chip-80

A CHIP-8 implementation for Z80
Haskell
2
star
52

rust-mos-hello

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

idris2-homelab

Idris
2
star
54

ratkai

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

clash-sevensegment-serial

Seven-segment display & serial output with CLaSH
Haskell
2
star
56

hindleymilner-agda

Hindley Milner type system modeled in Agda
2
star
57

empty-clash

Haskell
1
star
58

tfb-reflex-repro

Haskell
1
star
59

clashilator-example

Example project using Clashilator
Haskell
1
star
60

codenames

Grid generator for Codenames & Codenames Duet
Idris
1
star
61

homelab2-games

Games for the HomeLab-2 home computer
Haskell
1
star
62

idris2-mos6502

World's jankiest Idris2 MOS 6502 core
Idris
1
star
63

purescript-pos6502

World's jankiest PureScript MOS 6502 core
PureScript
1
star
64

clash-calculator

FPGA desktop calculator for seven-segment display and keypad, written in Clash
Haskell
1
star
65

retroclash-sim

High-level simulators for the RetroClash book
Haskell
1
star
66

hott-exercise

HoTT exercise for my Haskell.SG meetup talk on HoTT and CTT
Agda
1
star
67

arrow-stack-compiler

Haskell
1
star
68

2048-CHIP8

2048 game for the CHIP-8 virtual machine
Assembly
1
star
69

tecs

Code related to The Elements of Computing Systems
Haskell
1
star
70

MiFuLa

Minimal Functional Language
Haskell
1
star