finnschiermer / x86primeLinks
fairly limited x86 to x86' translator
☆19Updated 2 years ago
Alternatives and similar repositories for x86prime
Users that are interested in x86prime are comparing it to the libraries listed below
Sorting:
- Slides til infoskærmen☆8Updated last month
- Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph☆31Updated 4 years ago
- PMPH course 2020 public repo☆12Updated last year
- How do I DIKU? How indeed.☆26Updated last month
- Git repository containing the Futhark website.☆10Updated 2 weeks ago
- A base library for Agda for regular programming☆10Updated last month
- An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune☆61Updated 8 months ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Generic package manager for Standard ML libraries and programs☆165Updated 5 months ago
- The Iowa Agda Library☆48Updated last month
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 2 months ago
- Named parameters (keyword arguments) for Haskell☆95Updated 4 months ago
- A special-purpose processor for pure, non-strict functional languages☆28Updated 6 months ago
- Emacs mode for Lean☆69Updated 2 years ago
- Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine☆60Updated last month
- A toolkit for enforcing logical specifications on neural networks☆101Updated this week
- Agda formalisation of the Introduction to Homotopy Type Theory☆124Updated 3 years ago
- The theory of groups☆79Updated last year
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Accelerated machine learning with dependent types☆95Updated last week
- Play/learn/work with me☆106Updated 2 months ago
- A Haskell implementation of the Jupyter messaging protocol☆41Updated 5 years ago
- A simple Nix-Haskell skeleton☆112Updated last month
- A Haskell project template that uses Nix and comes with cabal-install, ghcid, ormolu, haskell-language-server and more.☆106Updated 2 years ago
- Source material for Certainty by Construction☆43Updated last year
- PhD course on Functional Programming and Climate Impact Research☆50Updated 8 months ago
- A mini-book on category theory. Superseded by https://github.com/jonsterling/forest☆52Updated 2 years ago
- an implementation of stuck macros☆144Updated 2 weeks ago
- Fundamental Haskell book, to the point terse statements on Haskell, Category theory, and related fields. Encyclopedic pocketbook of meani…☆126Updated 3 years ago
- A fully fledged and highly scalable lunch management system for the modern enterprise☆29Updated last week