Lists (31)
AI / Machine Learning
algorithms and data structures
Android
applications
CAD and geometry
compilers, linkers, assemblers
Computer Graphics
courses
cryptography
databases
Technology related to databasesdistributed / crdt
editors
Electronics
Embedded, MCUs and RTOS
FPGAs and HDLs
HPC
kakoune
learning
courses, lists and learning materiallibraries and frameworks
logic, tt, verification
Logic, Type Theory, Verification, Automated Theorem Provingmusic
Operating Systems
kernels, SO and so onprogramming languages
reverse engineering
security
sgx
Simulation and Modeling
typesetting
UI
UNIX
linux/BSDs etcunix/linux
Stars
💥💻💥 A data-parallel functional programming language
A statically typed concatenative systems programming language.
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A programming language with static memory management based on λ-calculus
Industrial-strength monadic parser combinator library
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
A fast functional language based on two level type theory
A DSL for embedded hard realtime applications.
Where Lions Roam: RISC-V on the VELDT
hoodle : A pen notetaking program written in haskell
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor mo…