Translate Python and JavaScript into MLIR
☆17Aug 27, 2022Updated 3 years ago
Alternatives and similar repositories for filia
Users that are interested in filia are comparing it to the libraries listed below
Sorting:
- embedding MLIR in LEAN☆48Jun 17, 2024Updated last year
- LLVM support for the lean theorem prover☆53Sep 14, 2021Updated 4 years ago
- Higher level WASM library for Rust☆10Dec 11, 2024Updated last year
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- A Lean 4 library for iterators.☆14Dec 10, 2023Updated 2 years ago
- ☆19Jan 31, 2023Updated 3 years ago
- A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set☆21Jan 20, 2025Updated last year
- An LLVM interface for Lean 4. (WIP)☆26Aug 1, 2023Updated 2 years ago
- An Example of MXNet Models Comilation and Deployment with NNVM in C++☆16Apr 25, 2018Updated 7 years ago
- Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts☆21May 11, 2024Updated last year
- Fuzzing framework to target native components of android applications☆22Oct 22, 2022Updated 3 years ago
- ☆26Nov 8, 2023Updated 2 years ago
- A lightweight MLIR Python frontend with support for PyTorch☆29Sep 3, 2024Updated last year
- Kernel sources for the Pixel 6, Pixel 6 Pro, Pixel 6a, Pixel 7, Pixel 7 Pro, Pixel 7a, Pixel Tablet and Pixel Fold. These sources are onl…☆25Mar 4, 2025Updated last year
- A simple set of Rust proc macros for reading and writing global compile-time state between macro calls☆29Oct 3, 2024Updated last year
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 3 months ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆38Oct 12, 2022Updated 3 years ago
- ☆37Oct 25, 2021Updated 4 years ago
- Corpus set used by DIE☆41May 20, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- A Benchmark for Evaluating Safety and Trustworthiness in Web Agents for Enterprise Scenarios☆19Feb 24, 2026Updated last week
- HTTP handler functions to allow you to easily add OAuth2 login support to your Zig application☆17Dec 18, 2025Updated 2 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆10Jun 5, 2023Updated 2 years ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Trophy case for Rudra bugs.☆40Feb 12, 2024Updated 2 years ago
- Compiler-instrumented app tracing.☆53May 17, 2024Updated last year
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- The sec3 audit reports and publications☆11Feb 2, 2026Updated last month
- ☆11Mar 30, 2016Updated 9 years ago
- Simple mathematica documentation generator☆11Apr 13, 2019Updated 6 years ago
- CTF tasks created☆11Jan 12, 2023Updated 3 years ago
- Elixir modules for accessing the Grafana API and retrieving Grafana visualizations☆10Oct 10, 2017Updated 8 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- A ShadowSocks server implemented in Elixir☆12Jan 9, 2022Updated 4 years ago