megamemnon Goto Github PK

arduino-oscilloscope

Arduino code (C) for a simple oscilloscope

b1cpu

A Verilog CPU supporting high level functions

bforth

simple threaded Forth compiler in C

bide

blisp

bram

Simple Verilog RAM/ROM module to use Block RAM on FPGA

brian

simple term rewrite interpreter

brian-c

brian2

dalt

Easy to use Proof Assistant in Python. Inspired by Metamath.

eprover

icez0mb1e

FPGA 8-Bit TV80 SoC for Lattice iCE40 with complete open-source toolchain flow using yosys and SDCC

pen_and_paper_prolog

Minimal Prolog interpreter with Resolution and Unification algorithms implemented with Strings

philomath

An LCF-style theorem prover written in C89 (a.k.a ANSI C)

prolog-interpreter-c

Prolog interpreter in C

python_pen_and_paper_prolog

Minimal Prolog interpreter implemented with strings in Python

rasp-pi-minicom-build

A collection of shell and Perl scripts that build a read-only Linux for the Pi Zero, that boots straight to Minicom

sl

A language and verifier for creating formal systems and proving theorems.

ti84pceforth

Indirect Threaded FORTH compiler for TI 84+ CE (eZ80 assembly)

trs-lisp

Lisp-like language based on a simple Term Rewriting System implemented in C.

tv-serial-character-driver

Spin program for Propeller chip to provide NTSC composite signal of Serial input

ulisp-machine

ulisp-pc