Stars
The AI framework that adds the engineering to prompt engineering (Python/TS/Ruby/Java/C#/Rust/Go compatible)
Guides, courses & reading lists for learning to build autonomous LLM agents
A collection of resources for learning type theory and type theory adjacent fields.
A demo implementation of a simple dependently-typed language
How to systematically secure anything: a repository about security engineering
C Foreign Function Interface and JIT using Clang/LLVM
😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes
Resources for learning and using recursion schemes.
A repository for learning various heap exploitation techniques.
Combinators for manipulating locally-nameless generalized de Bruijn terms
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
being the teaching materials and exercises for CS410 in the 2018/19 session
System tuning recommendations for running cryptographic applications
A List of Foundational Haskell Papers
An introduction to programming language theory in Agda
Extensional capabilities and deriving combinators
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.
Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens
Mirror of software-foundations course material