jdykstra / ucsd-psystem-xcView external linksLinks
Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler
☆18Nov 2, 2025Updated 3 months ago
Alternatives and similar repositories for ucsd-psystem-xc
Users that are interested in ucsd-psystem-xc are comparing it to the libraries listed below
Sorting:
- Maintained fork of Peter Miller's UCSD P-System tools - Operating System☆13Nov 2, 2025Updated 3 months ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Filesystem utilities☆13Nov 2, 2025Updated 3 months ago
- Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine☆35Nov 2, 2025Updated 3 months ago
- ☆22Oct 12, 2024Updated last year
- The Kent Retargetable occam Compiler☆46Feb 19, 2022Updated 3 years ago
- The SunOS 4.1.3 source code.☆13May 14, 2023Updated 2 years ago
- The fractal land generator☆15Aug 3, 2019Updated 6 years ago
- An open source 6502 compatible modern BASIC☆11May 13, 2021Updated 4 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 9 years ago
- A revival of the TREE-META compiler-compiler.☆15May 15, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- TinyForth Standard -- microscopic simplified forth standard of 35 words, designed to make forth as simple, extensible, and readable as po…☆13Feb 26, 2023Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Sep 29, 2022Updated 3 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆14Updated this week
- High Resolution Commodore 2.0 BASIC extensions for Vic-20☆13Apr 14, 2025Updated 10 months ago
- A Small Combinator-Reduction System☆19Jul 14, 2020Updated 5 years ago
- Open source library to handle integers of any size in C☆14Apr 11, 2023Updated 2 years ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- Web-based emulator and operating environment for the ElectroData/Burroughs Datatron 205 computer system.☆14Aug 22, 2022Updated 3 years ago
- Demos Commander, dual-pane orthodox file manager☆20Feb 14, 2024Updated 2 years ago
- concise functionless functional esolang☆14Jan 18, 2026Updated 3 weeks ago
- Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.☆16Aug 6, 2021Updated 4 years ago
- A two-dimensional programming language from 1994.☆12Oct 2, 2016Updated 9 years ago
- Here we give programs that check if Turing machines halt or not.☆15Sep 1, 2025Updated 5 months ago
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct☆16Aug 19, 2024Updated last year
- Communication infrastructure for VM/370-R6 SixPack☆13Feb 11, 2018Updated 8 years ago
- S/370 emulator allowing to run the CMS operating system of VM/370-R6 from 1978☆14Apr 22, 2020Updated 5 years ago
- Aheui interpreter in Javascript☆22Nov 20, 2016Updated 9 years ago
- wAx is the finest native assembler/disassembler ever released for the Commodore VIC-20☆12Nov 3, 2020Updated 5 years ago
- A programming language☆14Jan 24, 2015Updated 11 years ago
- The VAX/VMS 3.7 (1984) source code.☆24Jan 27, 2023Updated 3 years ago
- A two-dimensional, triangular programming language.☆18Apr 16, 2021Updated 4 years ago
- a C99 compiler.☆18Mar 1, 2020Updated 5 years ago
- PCQ Pascal compiler for the Amiga☆18Jun 14, 2015Updated 10 years ago
- Intel 8080/Zilog Z80 disassembler written in D.☆18Jun 24, 2021Updated 4 years ago