siraben/linear-lc

Stars
1
Language
Haskell
Created about 4 years ago
Updated about 4 years ago

siraben/linear-lc

siraben

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

A typechecker for linear lambda calculus.

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.

eopl

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

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.

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