kfl / ebpf-toolsLinks
Experiments with eBPF bytecode
☆13Updated last year
Alternatives and similar repositories for ebpf-tools
Users that are interested in ebpf-tools are comparing it to the libraries listed below
Sorting:
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆27Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated last week
- The official interpreter for the Jeopardy language☆16Updated 2 years ago
- A compiler that translates a form of lambda calculus to C☆12Updated last year
- NbE course @ Chalmers☆28Updated 9 months ago
- Compiler backend for generating Scheme code☆26Updated last year
- Haskell implementation of the Edinburgh Logical Framework☆30Updated last month
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Updated last year
- Formalization of the polymorphic lambda calculus and its parametricity theorem☆35Updated 3 months ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 3 years ago
- A special-purpose processor for pure, non-strict functional languages☆28Updated 5 months ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Updated 14 years ago
- being an implementation of the calculus of constructions☆17Updated 2 years ago
- A self-contained implementation of forward and backward inference for intuitionistic propositional logic☆18Updated 7 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Updated 6 years ago
- ☆11Updated 3 years ago
- Formal specification of the Haskell Language Report☆17Updated last week
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆22Updated 8 years ago
- Tutorial series introducing Agda to the people at BCAM☆26Updated 3 years ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Regular expressions of types☆16Updated 6 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- A formalization of finite, constructive log analysis using linear temporal logic☆22Updated last week
- A language-generic implementation of equality saturation in Haskell☆21Updated 6 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated 4 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- A reflection-based proof tactic for lattices in Coq☆22Updated last year
- ☆12Updated 9 years ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Updated 9 years ago