Stars
Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
Wrapper shells enabling designs generated by rocket-chip to map onto certain FPGA boards
A Linux "rice" configuration using Hyprland and Quickshell, featuring a curated selection of themes: Dracula, Catppuccin, Nord, Material, Gruvbox, and TokyoNight. Highly customizable for personaliz…
Some examples to get started into Quantum Machine Learning
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
A Tunnel which Turns UDP Traffic into Encrypted UDP/FakeTCP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment)
Mirror of https://gitlab.redox-os.org/redox-os/relibc
Read-only mirror of Trusted Firmware-A
Empowering everyone to build reliable and efficient software.
A library for formalizing Haskell types and functions in Coq
Efficient, deferred formatting for logging on embedded systems
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Working group dedicated to improving the foundations of Async I/O in Rust
Open-source high-performance RISC-V processor
RustFFT is a high-performance FFT library written in pure Rust.
Run macOS on QEMU/KVM. With OpenCore + Monterey + Ventura + Sonoma support now! Only commercial (paid) support is available now to avoid spammy issues. No Mac system is required.
University of Glasgow level 4 individual project
Relational Algebra, now with more algebra!
A framework for applied category theory in the Julia language