siraben/eopl

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Haskell
License
MIT License
Created almost 6 years ago
Updated almost 5 years ago

siraben/eopl

siraben

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

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

zkeme80

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

freenode-exodus

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

ti84-forth

A Forth implementation for the TI-84+ calculator.

mini-haskell

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

fp-notes

Notes on Functional Programming and related topics

heptapod-diffusion

Generating Heptapod writing with Stable Diffusion

r216-forth

A Forth implementation for the R216K8B Powder Toy computer.

dotfiles

A collection of my dotfiles

nix-sudoku

Sudoku solver in Nix

r5rs-denot

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

meta-yacc

Self-hosting parser generators in Forth and C.

meta-II

META II compiler, assembler and bytecode interpreter.

awk-vm

A virtual machine and assembler written in AWK.

evm-assembler

No-dependencies assembler for the EVM with examples (λ-calculus, linked lists, etc.)

haoc-2020

Haskell Advent of Code 2020

monadic-parsing

Monadic parsing in Scheme.

coq-wigderson

Formalization of Wigderson's graph coloring algorithm in Coq

tree-sitter-promela

Promela grammar for tree-sitter

hasktran

A compiler for FRACTRAN written in Haskell.

haoc-2021

Haskell Advent of Code 2021

ts-lint-example

Minimal linting example with tree-sitter

nix-workshop

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

mes-overlay

Nix overlay for MES-related packages

wordle

emotivoice-cli

CLI wrapper around Emotivoice TTS Synthesis

sicp-to-z80

A SICP register machine to TI-84 Z80 compiler.

lisp-to-js

Compiling Lisp to JavaScript

bf

Fast, simple brainfuck interpreter in C

tree-sitter-imp

Imp grammar for tree-sitter

scheme-to-c

A toy Scheme to C compiler

brownies

This a game I hacked together with Biwascheme.

tree-sitter-formula

Formula grammar for tree-sitter

nix-challenges

Increasingly difficult building challenges in Nix with solutions

vpl

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

website

siraben-overlay

@siraben's eclectic collection of software

remarkable-hello

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

senior-thesis

LaTeX sources for my undergraduate thesis

llama-bot

Discord bot for interacting with the LLaMA language model

knightos-nix

Compiling KnightOS end-to-end using Nix

coq-rings

Ring Theory in Coq from Scratch

proplogic

Exploration of theorems in propositional logic in Coq

functional-images

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

linear-lc

A typechecker for linear lambda calculus.

vu-catalog

Fetch and parse Vanderbilt course information

ti84-forthos

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