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 last month
- 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.
- 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…☆42Updated this week
- 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 13 years ago
- Haskell Package for operating with selections over an underlying functor☆22Oct 21, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 7 months ago
- Rainy config for XMonad☆17Feb 18, 2020Updated 6 years ago
- GUI application to update your NixOS system from a flake git repository☆29Updated this week
- ☆12Mar 13, 2026Updated 2 weeks ago
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- evil operator to cycle *-case in text objects☆30Jul 23, 2024Updated last year
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆35Feb 6, 2018Updated 8 years ago
- 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
- 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 2 months ago
- Rule-based plural library for node.js☆12May 18, 2025Updated 10 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- C++ compiler, from scratch. Only completed the preprocessing tokenizer yet.☆12Dec 15, 2017Updated 8 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- An implementation of strace in Rust, and a library interface☆22Jun 17, 2018Updated 7 years ago
- ☆22Feb 11, 2024Updated 2 years ago
- A minimalist, stream-centric RSS reader written for Node.js.☆24Jan 28, 2026Updated last month
- ☆11May 18, 2016Updated 9 years ago