RockBrentwood

Pinned Repositories

AutoMath
A re-implementation of AUTOMATH, to be used as the core of a contemporary proof assistant.
Language:C20
CasDasZ80
A fork of a command-line Z80 assembler/disassembler being remade step-wise as a Z80 port of CAS and DAS; maybe with support for 8080, 8085, Z180 and even an 8086/8088 branch (eventually climbing up the whole x86 chain).
Language:HTML10
CBC
A typed version of POSIX BC enhanced with a large number of features from C.
Language:C4 2 10
CFront
In the beginning... [Revision E, from February 1984, transcribed in its entirety from printout and restored.]
Language:C9 4 12
Combo
A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstream will be advanced-notified.
Language:C8 2 00
CPU
Microcontroller and Microprocessor Developers' Archive. Note to any future forks downstream: this whole thing's getting rebased and re-sequenced and maybe partitioned out into separate archives.
Language:C3 2 00
Dis86
x86 diassembler, partially derived from Gustas Zilinskas's 8086/8088 disassembler, translated to C, and being brought closer to DEBUG.EXE.
Language:Assembly1 1 00
DisAsm86
8086 16-Bit Disassembler written in Assembly; slated for future translation to C and merger with other 8086 disassembler forks.
Language:Assembly10
RegEx
Regular expressions and finite state automata using Kleene algebraic techniques. Formerly archived in the comp.compilers archive
Language:C5 2 01
Tomita
The Tomita GLR parser, originally in the comp.compilers archive, and updates. The project's evolution from 1993-on is being set up here as a timeline.
Language:C21

RockBrentwood's Repositories

RockBrentwood/CFront
In the beginning... [Revision E, from February 1984, transcribed in its entirety from printout and restored.]
Language:C9 4 12
RockBrentwood/Combo
A combinator reduction engine that accepts syntax for lambda expressions and is optimal. Rebase pending. That will affect forks. Downstream will be advanced-notified.
Language:C8 2 00
RockBrentwood/RegEx
Regular expressions and finite state automata using Kleene algebraic techniques. Formerly archived in the comp.compilers archive
Language:C5 2 01
RockBrentwood/CBC
A typed version of POSIX BC enhanced with a large number of features from C.
Language:C4 2 10
RockBrentwood/CPU
Microcontroller and Microprocessor Developers' Archive. Note to any future forks downstream: this whole thing's getting rebased and re-sequenced and maybe partitioned out into separate archives.
Language:C3 2 00
RockBrentwood/AutoMath
A re-implementation of AUTOMATH, to be used as the core of a contemporary proof assistant.
Language:C20
RockBrentwood/Tomita
The Tomita GLR parser, originally in the comp.compilers archive, and updates. The project's evolution from 1993-on is being set up here as a timeline.
Language:C21
RockBrentwood/CasDasZ80
A fork of a command-line Z80 assembler/disassembler being remade step-wise as a Z80 port of CAS and DAS; maybe with support for 8080, 8085, Z180 and even an 8086/8088 branch (eventually climbing up the whole x86 chain).
Language:HTML10
RockBrentwood/Dis86
x86 diassembler, partially derived from Gustas Zilinskas's 8086/8088 disassembler, translated to C, and being brought closer to DEBUG.EXE.
Language:Assembly1 1 00
RockBrentwood/DisAsm86
8086 16-Bit Disassembler written in Assembly; slated for future translation to C and merger with other 8086 disassembler forks.
Language:Assembly10
RockBrentwood/DosDebug
Debug and DebugX (short: Debug/X) are extended versions of MS DEBUG. This fork is slated for unification into and with the 80x86 disassemblers in other repositories here and translation to C.
Language:Assembly10
RockBrentwood/FCL
Routines for formal concept lattices
Language:C10
RockBrentwood/PicoC
Derived, as a fork, from the most recent version of Zik Saleeba's "picoc".
Language:C1
RockBrentwood/TeX
Remaking the core of TeX and Web. This is early work that is still in progress.
Language:C1