Alef Lazily Evaluates Functions
☆32Mar 10, 2013Updated 13 years ago
Alternatives and similar repositories for alef
Users that are interested in alef are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- intelligently swap keys in emacs evil-mode☆21Feb 8, 2022Updated 4 years ago
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"☆25Jun 9, 2024Updated last year
- a structural comparison tool for Lisp☆11Jun 2, 2014Updated 11 years ago
- Non-Recursive Inverting of Binary Tree in Rust☆20Oct 7, 2021Updated 4 years ago
- Synchronous Message Exchange☆11Feb 3, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LFSC Proof Checker☆11Sep 14, 2023Updated 2 years ago
- A lazy and untyped experimental programming language☆10Jul 8, 2018Updated 7 years ago
- A high-performance, distributed Zero Trust firewall using eBPF/XDP. Aegis enforces identity-based micro-segmentation, dynamically opening…☆42Apr 19, 2026Updated 2 weeks ago
- a customizable and extensible language with dynamic parser and meta compilation.☆65Nov 27, 2015Updated 10 years ago
- Garbage collector library☆24Feb 27, 2022Updated 4 years ago
- Data Parallel Programming, the 2022 edition☆12Jan 18, 2024Updated 2 years ago
- EXATO: Evil XML Attributes Text Object☆18May 24, 2020Updated 5 years ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 14 years ago
- Haskell Package for operating with selections over an underlying functor☆22Oct 21, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- PMPH course 2020 public repo☆13Jan 18, 2024Updated 2 years ago
- Material for talks I've given☆19May 6, 2024Updated last year
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 8 months ago
- Rainy config for XMonad☆17Feb 18, 2020Updated 6 years ago
- GUI application to update your NixOS system from a flake git repository☆31Apr 24, 2026Updated last week
- evil operator to cycle *-case in text objects☆30Jul 23, 2024Updated last year
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- AgentRE-Bench is an agentic benchmark that evaluates state-of-the-art models on long-horizon reverse engineering tasks, measuring their a…☆52Updated this week
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 years ago
- A module that extends Lua with a few essential functions☆15Feb 13, 2017Updated 9 years ago
- Manuscript for JavaScript Spessore☆51Dec 24, 2016Updated 9 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- ☆12Apr 21, 2026Updated 2 weeks ago
- DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.☆18Sep 17, 2016Updated 9 years ago
- a collection of useful resources☆79Jul 18, 2013Updated 12 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rule-based plural library for node.js☆12May 18, 2025Updated 11 months ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 7 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆12Dec 15, 2017Updated 8 years ago
- An implementation of strace in Rust, and a library interface☆22Jun 17, 2018Updated 7 years ago
- ☆23Feb 11, 2024Updated 2 years ago
- A minimalist, stream-centric RSS reader written for Node.js.☆24Jan 28, 2026Updated 3 months ago