An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
☆11May 5, 2024Updated last year
Alternatives and similar repositories for eval
Users that are interested in eval are comparing it to the libraries listed below
Sorting:
- Review problems for COMP 302☆17Nov 28, 2023Updated 2 years ago
- A lightweight command line benchmarking utility☆13Jul 3, 2021Updated 4 years ago
- Constraint satisfaction problem (CSP) solvers for Haskell☆19Mar 14, 2018Updated 7 years ago
- OCaml Type Classes☆18Apr 28, 2021Updated 4 years ago
- Conversational chatbot to answer questions about AI Safety & Alignment based on information retrieved from the Alignment Research Dataset☆15Feb 18, 2026Updated last week
- ☆11Nov 22, 2024Updated last year
- Log your transactions. Build your dam.☆36Updated this week
- Virtual programming language☆10Dec 5, 2022Updated 3 years ago
- ☆11Feb 11, 2020Updated 6 years ago
- A very simple starter project for using React, TypeScript and Parcel.☆11Mar 31, 2021Updated 4 years ago
- Multilingual AI style enhancement and grammar correction REST API. English, French, Spanish, Arabic, Japanese, Chinese. Based on deep NLP…☆10Dec 22, 2019Updated 6 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- ☆11May 7, 2023Updated 2 years ago
- React tutorial app implemented in ClojureScript☆10Jan 6, 2023Updated 3 years ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- Airtop SDK for Node.js☆16Nov 6, 2025Updated 3 months ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Responsive Instagram Log In Page Clone Using Flexbox, HTML & CSS☆10Dec 4, 2022Updated 3 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- My Haskell solutions to Project Euler problems☆11May 24, 2017Updated 8 years ago
- a generative engine☆17Jan 16, 2026Updated last month
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 2 months ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- PostgreSQL SQL syntax utilities☆16Feb 12, 2026Updated 2 weeks ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- 🎅🌟❄️☃️🎄🎁☆45Nov 17, 2024Updated last year
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year