gergoerdi / alefView external linksLinks
Alef Lazily Evaluates Functions
☆32Mar 10, 2013Updated 12 years ago
Alternatives and similar repositories for alef
Users that are interested in alef are comparing it to the libraries listed below
Sorting:
- a structural comparison tool for Lisp☆11Jun 2, 2014Updated 11 years ago
- classical sequent calculus, embedded in Haskell☆21Aug 24, 2025Updated 5 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 6 years ago
- EXATO: Evil XML Attributes Text Object☆18May 24, 2020Updated 5 years ago
- Garbage collector library☆24Feb 27, 2022Updated 3 years ago
- 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
- Haskell Package for operating with selections over an underlying functor☆22Oct 21, 2020Updated 5 years ago
- A static analysis tool for C.☆29Oct 29, 2019Updated 6 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
- a customizable and extensible language with dynamic parser and meta compilation.☆65Nov 27, 2015Updated 10 years ago
- Port of the lemon parser generator to the Go programming language☆57Sep 13, 2021Updated 4 years ago
- A general yet easy-to-use formalization of Big O, Big Theta, and more based on seminormed vector spaces.☆36May 14, 2017Updated 8 years ago
- Manuscript for JavaScript Spessore☆51Dec 24, 2016Updated 9 years ago
- Combat damage system for Garry's Mod☆21Nov 3, 2021Updated 4 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆51Apr 18, 2018Updated 7 years ago
- My Own Linear Lisp☆42Aug 24, 2018Updated 7 years ago
- A JavaScript project that combines the rhythm gameplay of Dance Dance Revolution with an endless runner.☆11Jul 6, 2017Updated 8 years ago
- ☆13May 28, 2024Updated last year
- This repo contains the knitr code for the paper: Gillespie, C. S., et al, 2010. Analysing yeast time course microarray data using BioCond…☆13Jan 25, 2016Updated 10 years ago
- s373.libraries for processing☆17Mar 10, 2013Updated 12 years ago
- Python CMake wrapper☆13Jul 21, 2022Updated 3 years ago
- high abstraction synthesis☆14Apr 8, 2024Updated last year
- Repositório das notas de aula e material computacional para a disciplina de Modelagem Matemática do Instituto de Matemática da UFRJ.☆12Jul 27, 2022Updated 3 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Computational Tools for Heat Exchanger Network Synthesis☆11Jul 16, 2024Updated last year
- Action to convert a normal GitHub url to its corresponding raw url.☆11Aug 9, 2023Updated 2 years ago
- Synchronous Message Exchange☆11Feb 3, 2026Updated last week
- A Julia package to manipulate very small IEEE 754 standard-compliant floating-point numbers.☆12Nov 18, 2025Updated 2 months ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- ☆15Oct 3, 2015Updated 10 years ago
- A fully-working 3D map editor (in Java) and level compilation toolchain (in C++), and a part-finished 3D game engine (in C++). Early deve…☆15Oct 28, 2013Updated 12 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- Erlang to Scheme compiler☆39Mar 28, 2012Updated 13 years ago
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- rxvt-unicode extension that allows to paste the contents of your clipboard with the right click☆10Mar 6, 2017Updated 8 years ago
- my fork of libxml2☆11May 11, 2011Updated 14 years ago