Lattice // Salt // Facet
☆73Mar 2, 2026Updated 3 weeks ago
Alternatives and similar repositories for lattice
Users that are interested in lattice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- A minimal Nix library for package-lock.json☆11Apr 30, 2025Updated 10 months ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Handle pattern with servant to build flexible web-apps in Haskell☆16Nov 22, 2022Updated 3 years ago
- Library that makes it easier to write comparison functions in Elm☆12Nov 16, 2020Updated 5 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last month
- Learning how to build a language on the BEAM☆25Apr 17, 2017Updated 8 years ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last month
- A more realistic demo of a buffer overflow cause by -ffast-math☆15Sep 10, 2022Updated 3 years ago
- A statically typed embedding of miniKanren in Haskell☆25Jun 8, 2025Updated 9 months ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Mar 15, 2026Updated last week
- Small editor wrapped on cirru-editor☆13Aug 26, 2016Updated 9 years ago
- Setting up a Haskell development environment with Nix☆20Sep 16, 2020Updated 5 years ago
- ☆19Mar 17, 2026Updated last week
- A Zig Shell☆13Jul 25, 2025Updated 8 months ago
- Differential CPU fuzzing framework from the paper "RISCover: Automatic Discovery of User-exploitable Architectural Security Vulnerabiliti…☆24Mar 1, 2026Updated 3 weeks ago
- Implementation of the user-space eBPF VM based on the iovisor version (https://github.com/iovisor/ubpf)☆13Apr 16, 2020Updated 5 years ago
- break link between dll and it file on disk☆12Sep 2, 2024Updated last year
- Tartocitron is a repo to have fun with malwares and the Rust language. This repo provides working examples of dropper written in Rust.☆11May 31, 2022Updated 3 years ago
- Extended fork of MenuetOS (32 bit)☆19Aug 17, 2024Updated last year
- IRC Integration for LiffyBot (a WIP port of Erlbot)☆15Nov 25, 2016Updated 9 years ago
- A system information viewer for the COSMIC™ Desktop☆22Jan 31, 2026Updated last month
- The todo application, as shown in Episode 16☆14Jan 6, 2016Updated 10 years ago
- Δ-Nets: Interaction-Based System for Optimal Parallel λ-Reduction☆45Jun 25, 2025Updated 8 months ago
- VSCode and OpenVSX extensions for Nix☆32Jan 15, 2023Updated 3 years ago
- CPU/Battery power management tool for Linux systems☆32Mar 1, 2026Updated 3 weeks ago
- Example for Distributed Elixir talk on Elixir Barcelona Meetup☆10Aug 6, 2017Updated 8 years ago
- Photonic Quantum Machine Learning Framework☆24Updated this week
- WWDC slackbot in Golang for http://asciiwwdc.com☆11Apr 21, 2016Updated 9 years ago
- some AV / EDR / analysis studies☆10May 21, 2023Updated 2 years ago
- How to make these slides - Instructions for making these slides and the editor for it☆10Dec 27, 2018Updated 7 years ago
- ☆32Feb 28, 2026Updated 3 weeks ago
- sudoroom irc bot☆10Jul 19, 2022Updated 3 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- A terminal manipulation library written in Zig.☆22Dec 6, 2025Updated 3 months ago
- Some performance tests for sequelize and some other libraries for comparison.☆20May 4, 2017Updated 8 years ago
- ☆15Nov 24, 2022Updated 3 years ago
- The Binary Code Recognition Library for game hacking/modding and function reidentification for linux☆13Jan 25, 2026Updated last month
- Rust crate to obfuscate strings and byte arrays so they are not in memory when not in use.☆20Mar 2, 2026Updated 3 weeks ago