A monorepo of extensions for the rM tablets, which utilize the XOVI framework

ia64 (Itanium) instruction set simulator. Fork of http://ski.sourceforge.net

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

A Simple showcase for the Sea-of-Nodes compiler IR

A collection of learning resources for curious software engineers

The Emmy Computer Algebra System.

tiniest x86-64-linux emulator

Coz: Causal Profiling

Turns the button on the Lamy Pen EMR into an eraser on the reMarkable.

This is an instruction to run your own SMM code.

All Digital Radio Platform written in nmigen targeting FPGAs (for now)

Bluetooth PHY based on one-bit input and output

An uroboros program with 100+ programming languages

FUSE access to the reMarkable Cloud

Shared lists of problem domains people may want to block with hosts files

Visual tool to spot odd runtime behaviour of Haskell programs.

RISC-V simulator for x86-64

a Productive Parallel Programming Language

Oberon RISC-V port, based on Samuel Falvo's RISC-V compiler and Peter de Wachter's Project Norebo. Part of an academic project to evaluate Project Oberon on RISC-V.

A version of the Oberon emulator using RISC-V instead of Wirth's RISC machine.

Learning FPGA, yosys, nextpnr, and RISC-V

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

A formally verified compiler for a simple language with numbers and sums

SKiDL is a module that extends Python with the ability to design electronic circuits.

Documenting the Lattice ECP5 bit-stream format.

Linux on LiteX-VexRiscv

Yosys Open SYnthesis Suite

VHDL library 4 FPGAs