siraben/functional-images siraben/functional-images

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
siraben/functional-images
github

siraben

Reviews

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

Repository Details

Replicating the Functional Images paper by Conal Elliott using Haskell, C and SDL2.

More Repositories

1

zkeme80

An assembler and operating system for the TI-84+ written in Scheme, Forth and Z80 assembly.
Scheme
228
star
2

freenode-exodus

Projects and channels that have decided to leave Freenode. (Final leave count: 1056)
Haskell
135
star
3

ti84-forth

A Forth implementation for the TI-84+ calculator.
Assembly
86
star
4

mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.
Haskell
70
star
5

fp-notes

Notes on Functional Programming and related topics
Haskell
28
star
6

heptapod-diffusion

Generating Heptapod writing with Stable Diffusion
25
star
7

r216-forth

A Forth implementation for the R216K8B Powder Toy computer.
Assembly
24
star
8

dotfiles

A collection of my dotfiles
Emacs Lisp
23
star
9

nix-sudoku

Sudoku solver in Nix
Nix
22
star
10

r5rs-denot

A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
Haskell
20
star
11

meta-yacc

Self-hosting parser generators in Forth and C.
Forth
18
star
12

meta-II

META II compiler, assembler and bytecode interpreter.
TeX
17
star
13

eopl

Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
Haskell
15
star
14

awk-vm

A virtual machine and assembler written in AWK.
Awk
13
star
15

evm-assembler

No-dependencies assembler for the EVM with examples (Ξ»-calculus, linked lists, etc.)
Python
13
star
16

haoc-2020

Haskell Advent of Code 2020
Haskell
8
star
17

monadic-parsing

Monadic parsing in Scheme.
Scheme
8
star
18

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq
Coq
8
star
19

tree-sitter-promela

Promela grammar for tree-sitter
C
7
star
20

hasktran

A compiler for FRACTRAN written in Haskell.
Haskell
7
star
21

haoc-2021

Haskell Advent of Code 2021
Haskell
7
star
22

ts-lint-example

Minimal linting example with tree-sitter
JavaScript
6
star
23

nix-workshop

Outline for a workshop on Nix, to be given sometime in the 2020-2021 academic calendar.
6
star
24

mes-overlay

Nix overlay for MES-related packages
Nix
6
star
25

wordle

Wordle solver
Haskell
5
star
26

emotivoice-cli

CLI wrapper around Emotivoice TTS Synthesis
JavaScript
5
star
27

sicp-to-z80

A SICP register machine to TI-84 Z80 compiler.
Scheme
4
star
28

lisp-to-js

Compiling Lisp to JavaScript
Haskell
4
star
29

bf

Fast, simple brainfuck interpreter in C
C
4
star
30

tree-sitter-imp

Imp grammar for tree-sitter
C
4
star
31

scheme-to-c

A toy Scheme to C compiler
Scheme
3
star
32

brownies

This a game I hacked together with Biwascheme.
HTML
3
star
33

tree-sitter-formula

Formula grammar for tree-sitter
C
3
star
34

nix-challenges

Increasingly difficult building challenges in Nix with solutions
Nix
3
star
35

vpl

VPL (Visual Programming Language) is an educational Turtle language using Haskell and Gloss
Haskell
3
star
36

website

My website
Nix
2
star
37

siraben-overlay

@siraben's eclectic collection of software
Nix
2
star
38

remarkable-hello

Example of compiling Rust to a static ARM executable. Target here is the reMarkable tablet.
Nix
2
star
39

senior-thesis

LaTeX sources for my undergraduate thesis
TeX
2
star
40

llama-bot

Discord bot for interacting with the LLaMA language model
Python
2
star
41

knightos-nix

Compiling KnightOS end-to-end using Nix
Nix
1
star
42

coq-rings

Ring Theory in Coq from Scratch
Coq
1
star
43

proplogic

Exploration of theorems in propositional logic in Coq
Coq
1
star
44

linear-lc

A typechecker for linear lambda calculus.
Haskell
1
star
45

vu-catalog

Fetch and parse Vanderbilt course information
Python
1
star
46

ti84-forthos

A Forth-based OS for the TI-84+ calculator. Now succeeded by https://github.com/siraben/zkeme80
Assembly
1
star