Giters
Chris Pressey (cpressey)

cpressey

Geek Repo

219

followers

177

following

3k

stars

Location:Office... submarine!

Home Page:https://catseye.tc/

Github PK Tool:Github PK Tool

Organizations
catseye
Falderal-Tests
Random-People

Chris Pressey's starred repositories

compute-hol-light

Computations in HOL Light

Language:OCamlLicense:MITStargazers:2Issues:0Issues:0

Fountain-expts

Fountain CSL grammar experiments

Stargazers:1Issues:0Issues:0

r7rs-pico-spec

Pico version of revised⁷ report on the algorithmic language scheme

Language:TeXLicense:NOASSERTIONStargazers:29Issues:0Issues:0

2023

National Novel Generation Month, 2023 edition.

Stargazers:24Issues:0Issues:0

rustc_codegen_clr

This rust compiler backend(module) emmits valid CIL (.NET IR), enabling you to use Rust in .NET projects.

Language:RustLicense:MITStargazers:1174Issues:0Issues:0

pyodide-worker

A demo of how to use pyodide in a web worker

Language:JavaScriptLicense:MITStargazers:4Issues:0Issues:0

6502-C-Compiler

A bison and lex generated C compiler for the 6502 (bare bones and incomplete)

Language:YaccStargazers:5Issues:0Issues:0

Marble-Marcher-Community-Edition

A community-developed version of the original Marble Marcher - a fractal physics game.

Language:C++License:GPL-2.0Stargazers:255Issues:0Issues:0

Cubically

An esoteric programming language based on Rubik's Cubes

Language:CLicense:GPL-3.0Stargazers:28Issues:0Issues:0

esolangs

Collection of interpreters for esoteric programming languages

Language:JavaScriptLicense:UnlicenseStargazers:9Issues:0Issues:0

hyperlamb

Hypermedia-driven lambda calculus evaluator. Yes.

Language:F#Stargazers:5Issues:0Issues:0

gbajs2

gbajs2 is a Game Boy Advance emulator written in Javascript from scratch using HTML5 technologies like Canvas and Web Audio. It is freely licensed and works in any modern browser without plugins.

Language:JavaScriptLicense:BSD-2-ClauseStargazers:205Issues:0Issues:0

MicroHs

Haskell implemented with combinators

Language:HaskellLicense:NOASSERTIONStargazers:263Issues:0Issues:0

oriel

An interpreter for the 1991 Oriel scripting language

Language:RustLicense:GPL-3.0Stargazers:55Issues:0Issues:0

gbe-plus

DMG/GBC/GBA emulator and experimental NDS emulator.

Language:C++License:GPL-2.0Stargazers:498Issues:0Issues:0

busycoq

Busy Beaver deciders backed by Coq proof

Language:CoqLicense:MITStargazers:16Issues:0Issues:0

design-patterns-for-parser-combinators

A Really Cool Calculator written in Haskell... or is it?

Language:HaskellLicense:BSD-3-ClauseStargazers:41Issues:0Issues:0

oaklisp

An object-oriented dialect of Scheme

Language:CLicense:GPL-2.0Stargazers:59Issues:0Issues:0

retrowin32

windows emulator

Language:RustLicense:Apache-2.0Stargazers:507Issues:0Issues:0

bike

Bike game

Language:RustLicense:MITStargazers:14Issues:0Issues:0

chyp

An interactive theorem prover for string diagrams

Language:PythonLicense:Apache-2.0Stargazers:100Issues:0Issues:0

g9

Automatically Interactive Graphics 🖼✨💯

Language:JavaScriptLicense:MITStargazers:1940Issues:0Issues:0

gpp

GPP, a generic preprocessor

Language:CLicense:LGPL-3.0Stargazers:189Issues:0Issues:0

SPARTA

SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.

Language:C++License:MITStargazers:610Issues:0Issues:0

VerseProgrammingLanguage

Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets

Stargazers:213Issues:0Issues:0

emupedia.github.io

The purpose of Emupedia is to serve as a nonprofit meta-resource, hub and community for those interested mainly in video game preservation which aims to digitally collect, archive and preserve games and software to make them available online accessible by a user-friendly UI that simulates several retro operating systems for educational purposes.

Language:JavaScriptLicense:NOASSERTIONStargazers:853Issues:0Issues:0

corrscope

Python program to render wave files into oscilloscope views, featuring advanced correlation-based triggering algorithm

Language:PythonLicense:BSD-2-ClauseStargazers:521Issues:0Issues:0

pcjs

The original IBM PC and other machine emulations in JavaScript

Language:JavaScriptLicense:NOASSERTIONStargazers:765Issues:0Issues:0

lpython

Python compiler

Language:C++License:NOASSERTIONStargazers:1359Issues:0Issues:0

monomer

An easy to use, cross platform, GUI library for writing Haskell applications.

Language:HaskellLicense:BSD-3-ClauseStargazers:566Issues:0Issues:0