ckirsch

Christoph Kirsch's starred repositories

Unicorn: Symbolic Execution, Bounded Model Checking, and Code Optimization of RISC-V Code using Classical Solvers and Quantum Computers

Language:RustMIT2800

Christoph Kirsch's Classes

Language:HTMLMIT100

Christoph Kirsch's Publications

MIT100

Christoph Kirsch's Talks

Language:HTMLMIT100

A software implementation of a RISC-V computer

Language:RustMIT1700

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION32000

This is a test spec driven guide to help you build a simple regex implementation

Language:JavaScript21100

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator

Language:C++BSD-2-Clause15300

A multi-threaded mutator for profiling and benchmarking heap management systems

Language:CNOASSERTION600

High-performance multicore-scalable data structures and benchmarks

Language:C++NOASSERTION13200

This is the homepage of the Computer Science for All courses by Professor Christoph Kirsch at the University of Salzburg, Austria.

Language:CSSBSD-2-Clause2100

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Language:Jupyter NotebookBSD-2-Clause236200