ls1-sys-prog-course-archive-SoSe22 / docsLinks
Documentation and links about the course
☆25Updated 2 years ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- Portability problems I frequently encounter in projects using CMake☆52Updated 3 years ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 5 years ago
- Nix build Scheduler☆11Updated 3 weeks ago
- A Haskell library for fast, memory-efficient decoding of JSON documents using the simdjson C++ library☆49Updated 3 months ago
- Haskell bindings for MLIR☆117Updated last week
- Effect handlers in C++☆123Updated 2 years ago
- A minimal development of SSA theory☆202Updated this week
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- An elegant implementation of discrete diffgeo in haskell☆34Updated 5 years ago
- A toolkit for enforcing logical specifications on neural networks☆118Updated last week
- The Complex Number Game. Make the complex numbers in Lean.☆41Updated 3 years ago
- Building group theory from scratch in Lean☆61Updated 4 years ago
- Python library using the Futhark C backend via CFFI☆26Updated 5 months ago
- Functional Programming in Lean☆125Updated last month
- nix scripts for pytorch-related libraries☆22Updated 4 years ago
- A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.☆120Updated last week
- Agda lecture notes for the Functional Programming course at TU Delft☆130Updated 4 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 3 months ago
- A programming project on automatic differentiation in OCaml☆11Updated 2 years ago
- A SAT solver written in Haskell.☆39Updated 7 years ago
- embedding MLIR in LEAN☆48Updated last year
- Competitive programming utilities in Haskell☆41Updated 2 months ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆169Updated 3 years ago
- An example with nix: How to automatically and reproducibly build and integration-test a database C++ app in 60 different build-configurat…☆67Updated 3 years ago
- A compiler for functional programs on serialized data☆173Updated last week
- A Rust/WASM implementation of homotopy.io☆108Updated last week
- The Shine compiler for the RISE language☆83Updated this week
- ☆21Updated 2 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- GHC Whole Program Compiler and External STG IR tooling☆120Updated last month