evaluation using f-algebras
☆23Sep 7, 2015Updated 10 years ago
Alternatives and similar repositories for Feval
Users that are interested in Feval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Sublime Text package which simulates Conway's Game of Life through your Sublime Text file's contents!☆10May 4, 2015Updated 10 years ago
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- This is a list of scripts I created while formerly working at Drexel University. These scripts were released with permission.☆16Oct 18, 2020Updated 5 years ago
- a Compileable statically typed Functional programming Language☆11Jun 11, 2015Updated 10 years ago
- Git + Hash☆58Nov 30, 2012Updated 13 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A Sinatra project template☆16Sep 12, 2012Updated 13 years ago
- A scripting language for extending C programs; recognizably Forth-like, but definitely not Forth.☆20May 7, 2020Updated 5 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- Version Control in Ruby. Mercurial Compatible. Big ideas.☆80May 5, 2010Updated 15 years ago
- An OCaml bytecode to LLVM compiler☆43Mar 2, 2018Updated 8 years ago
- Boost.Build Project Manager Plugin for Qt Creator☆13Oct 25, 2016Updated 9 years ago
- Haskell implementation of the SWIM epidemic gossip protocol☆12Apr 10, 2019Updated 7 years ago
- BeagleBone pin multiplexing tables☆37Nov 12, 2021Updated 4 years ago
- A set of custom HTML elements to make writing well-formatted C++ papers and ISO documents easier.☆27Feb 15, 2016Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A visualization for pipelines☆10Jul 3, 2020Updated 5 years ago
- RRB-Trees: Efficient Immutable Vectors☆53Nov 5, 2012Updated 13 years ago
- Support configuring KTOR applications using class methods for routing☆10Mar 15, 2018Updated 8 years ago
- Support for static values☆22Sep 3, 2024Updated last year
- Repository for FP Day Unconference☆16Mar 28, 2016Updated 10 years ago
- A docker image for Fortran -> js compilation☆22Nov 18, 2014Updated 11 years ago
- Java 7 features backported to Android 2.2+☆88Nov 11, 2013Updated 12 years ago
- Dynamic Hierarchical tagging file system☆16Mar 4, 2026Updated last month
- ☆15Nov 17, 2016Updated 9 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Flaming Dangerzone☆15Nov 29, 2016Updated 9 years ago
- Dot emacs file.☆18Sep 21, 2022Updated 3 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- quasi-monochrome theme for Emacs☆21Apr 15, 2020Updated 5 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- ArchBang = Arch Linux + LXDE☆22Oct 29, 2011Updated 14 years ago
- working with chatbot response scoring.☆13Mar 30, 2020Updated 6 years ago
- Presentations I've given☆12Jan 13, 2017Updated 9 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Automatically derive bindings for Servant APIs in Reason☆12Jun 1, 2019Updated 6 years ago
- what it says on the tin☆24Jun 6, 2018Updated 7 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated 2 years ago
- Analysis of your Strava personal records☆13Sep 13, 2018Updated 7 years ago
- WebExtension to clean up duplicate tabs.☆15Mar 5, 2025Updated last year
- Bookmark and archive webpages from the command line☆33Feb 6, 2019Updated 7 years ago