facebookarchive / lex-passView external linksLinks
manipulate a php codebase using haskell to transform the abstract-syntax-tree
☆181May 15, 2014Updated 11 years ago
Alternatives and similar repositories for lex-pass
Users that are interested in lex-pass are comparing it to the libraries listed below
Sorting:
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- fast unique variables☆10Aug 23, 2025Updated 5 months ago
- GHCJS DOM Hello World, an example package☆10Apr 24, 2025Updated 9 months ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- YesQL-style SQL database abstraction.☆27Sep 3, 2020Updated 5 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 2 years ago
- Haskell plotting library☆44Sep 15, 2025Updated 4 months ago
- CSS parser and renderer.☆16Aug 19, 2020Updated 5 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Abandoned: An yesod based admin for persistent objects☆16Sep 4, 2019Updated 6 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 7 years ago
- ☆12Dec 28, 2020Updated 5 years ago
- A computer algebra system (CAS) for high school students☆14Dec 26, 2018Updated 7 years ago
- A Haskell library which provides the basic building blocks for creating powerful indexing and search applications.☆57Aug 29, 2014Updated 11 years ago
- Fotolog is closing on February 20th! Run to the hills... but save your photos and data first. :D☆11Feb 14, 2016Updated 10 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆45Aug 21, 2025Updated 5 months ago
- Some numerical optimization methods implemented in Haskell☆47Jun 24, 2020Updated 5 years ago
- Nolan's BrazilJS talk: "We can work it out: from Web Workers to Service Workers"☆14Aug 26, 2016Updated 9 years ago
- playing with hyperfunctions☆16May 2, 2021Updated 4 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆25Feb 13, 2020Updated 6 years ago
- A JSON REST API built in Haskell.☆63Aug 10, 2016Updated 9 years ago
- Just a simple piece of code for identifying unused files in a Spring MVC project.☆12Oct 31, 2016Updated 9 years ago
- ☆17Sep 18, 2019Updated 6 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Dec 24, 2018Updated 7 years ago
- fast clustering algorithms☆15Feb 13, 2019Updated 7 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- Try Idris☆35Sep 7, 2015Updated 10 years ago
- A basic rate-limiting library for Haskell☆20Jan 3, 2023Updated 3 years ago
- Give Haskell development tools access to Cabal project environment.☆24Feb 14, 2021Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- IPython-style interaction for Cryptol☆15Dec 5, 2016Updated 9 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- A FUSE file system that interpolates secret information☆20Dec 16, 2016Updated 9 years ago
- A proper network library for Idris, now that I know what I'm doing.☆59Sep 27, 2016Updated 9 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Aug 20, 2018Updated 7 years ago
- Learning project by a group of people interested in learning the Idris language☆51Feb 18, 2015Updated 10 years ago