kfl / ebpf-toolsLinks
Experiments with eBPF bytecode
☆15Updated 6 months ago
Alternatives and similar repositories for ebpf-tools
Users that are interested in ebpf-tools are comparing it to the libraries listed below
Sorting:
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- CS410 "Advanced Functional Programming"☆30Updated this week
- A verified compiler for a lazy functional language☆37Updated this week
- # A simple variable binding library based on well-scoped indices and environments☆29Updated 3 months ago
- Haskell bindings to Microsoft's Z3 API (unofficial).☆63Updated last year
- An equational theorem prover based on Knuth-Bendix completion☆57Updated this week
- Lecture notes on realizability☆75Updated 11 months ago
- Convert Haskell source code to Coq source code.☆93Updated 7 months ago
- PhD course on Functional Programming and Climate Impact Research☆51Updated 5 months ago
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆36Updated 10 months ago
- Unification and type inference algorithms☆127Updated 10 years ago
- A cost-aware logical framework, embedded in Agda.☆74Updated 3 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆64Updated 6 months ago
- An implementation of a simple Neural network in Idris using category theory.☆24Updated last year
- ☆56Updated last week
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated last year
- Rocq RFCs: documents to discuss changes to the Rocq Prover☆60Updated last year
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Updated 9 years ago
- A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25☆27Updated last year
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 3 years ago
- Constructive Galois connections☆36Updated 7 years ago
- A Coq library for parametric coinduction☆51Updated last year
- High level commands to declare a hierarchy based on packed classes☆104Updated last week
- A toolkit for enforcing logical specifications on neural networks☆121Updated this week
- Formalizations of Gradually Typed Languages in Agda☆59Updated last month
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- Gallina to Bedrock2 compilation toolkit☆65Updated this week
- An enhanced unification algorithm for Coq☆58Updated last week
- A survey of semantics styles in Coq, from natural semantics through structural operational, axiomatic, and denotational semantics, to abs…☆57Updated 2 months ago
- Formal specification of the Haskell Language Report☆30Updated 2 weeks ago