Skip to content
View phillbush's full-sized avatar
Block or Report

Block or report phillbush

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Starred repositories

Showing results
Go 1 Updated Dec 14, 2023

Public repository for the 2023 edition of HPPS

C 19 1 Updated Jan 18, 2024

a lightweight, robust, scheme-like lisp implementation

Scheme 1,559 120 Updated Feb 26, 2020

A CHIP-8 emulator in AWK programming language

Awk 6 Updated May 11, 2023

A lightweight web browser based on Dillo but with many improvements, such as: support for http, https, gemini, gopher, epub, reader mode and more...

C++ 87 10 Updated May 28, 2024

A tool for manipulating X windows

C 19 1 Updated Jun 18, 2020

Tofu window manager for X11.

Shell 24 2 Updated Jul 19, 2020

best possible use of sed

sed 81 2 Updated May 18, 2024

Free/libre software for Kobo ebook readers

Shell 205 13 Updated Feb 22, 2020

A textbook on informal homotopy type theory

TeX 1,997 354 Updated Jun 17, 2024

Lisp interpreter inspired by John Shutt's Kernel.

C 2 Updated Dec 29, 2022

Driving Compilers

PHP 27 14 Updated Feb 13, 2024

Seekable compressed tar

Rust 4 Updated Jan 8, 2024

a prototype dependent type functional language, implemented by a simple interpreter in scheme.

Scheme 1 Updated Jul 30, 2017

A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"

Scheme 8 1 Updated Mar 13, 2014

🧮 Programming with pure lambda calculus

Haskell 73 Updated Jun 9, 2024

Minimal X11 onscreen keyboard

C 10 1 Updated Dec 3, 2020

a BQN implementation in C

C 305 41 Updated Jun 26, 2024

Scheme In One Defun

C 9 1 Updated Apr 14, 2021

A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)

Clojure 119 15 Updated Mar 23, 2013

FUNCTIONAL PROGRAMMING: Application and Implementation, Peter Henderson, ISBN 0-13-331579-7

C 50 8 Updated Feb 17, 2024

MIT CADR original verilog and simulator

Verilog 16 2 Updated Jan 2, 2016

picolibc - a C library designed for embedded 32- and 64- bit systems.

C 1,112 162 Updated Jun 26, 2024

An Awk-inspired programming language for writing simple GUIs

Haskell 6 Updated Jan 25, 2024

Compact and straightforward file manager for Unix X11/Motif.

C 16 Updated Jun 24, 2024

The clipboard manager is responsible for saving data when clients want to

C 3 Updated Nov 25, 2022

A mini Lisp in 1k lines of C with garbage collector, explained. Includes over 40 built-in Lisp primitives, floating point, strings, closures with lexical scope, macros, proper tail recursion, excep…

C 71 4 Updated Nov 27, 2023
2 Updated Jan 8, 2023

Primitive paint application for X

C 6 Updated Jun 5, 2024

a really bad wm made by someone not qualified to make a wm

C 7 Updated Dec 21, 2023
Next