Lens Proposal for a Haskell-like Language
☆14Jul 13, 2012Updated 14 years ago
Alternatives and similar repositories for lens-proposal
Users that are interested in lens-proposal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Haskell 98 Lenses☆14Jan 1, 2018Updated 8 years ago
- Scala parboiled2 syntax☆19Aug 26, 2014Updated 12 years ago
- Port of scalaz 6.0.4 geo to the new scalaz 7.0.0☆18Sep 8, 2014Updated 12 years ago
- Moved to aliceml/aliceml☆29May 28, 2014Updated 12 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 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.
- STOMP client implementation for OCaml☆11Feb 12, 2017Updated 9 years ago
- arcade sounds and chiptunes for ruby and c☆14Apr 30, 2009Updated 17 years ago
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Pure lazy functional programming on the Java Platform☆37May 2, 2016Updated 10 years ago
- Building infinite sequences from anonymous functions using tuples and macros.☆14Sep 16, 2014Updated 12 years ago
- variance-aware functional-programming in scala☆12Dec 30, 2010Updated 15 years ago
- Algebraic Effect Handlers for Clojure☆46Aug 19, 2013Updated 13 years ago
- An old tutorial for using `Effects` in Idris.☆23Sep 10, 2015Updated 11 years ago
- An absurdly tiny Lisp interpreter in OCaml☆32Dec 11, 2011Updated 14 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A mechanical translation of the Haskell QuickCheck library into Ocaml☆11Mar 28, 2009Updated 17 years ago
- A Lisp with row polymorphism, delimited continuations, and hygienic macros. [vaporware]☆56Mar 7, 2013Updated 13 years ago
- Scala XMPP Bot Framework☆17Mar 20, 2012Updated 14 years ago
- Restfulie's javascript port☆14Jan 12, 2011Updated 15 years ago
- A dialect of the Kernel programming language.☆28Sep 19, 2011Updated 15 years ago
- Example of using Haste and React.js to implement TodoMVC☆14Jun 26, 2014Updated 12 years ago
- ☆22Jun 25, 2015Updated 11 years ago
- Implementation of the SPDY protocol in ocaml☆14Oct 2, 2011Updated 15 years ago
- The CAL functional language and functional meta-programming environment for the Java platform☆39Mar 20, 2020Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆31Oct 31, 2021Updated 4 years ago
- Functional programming language for JVM.☆253Sep 26, 2026Updated 3 weeks ago
- Drake: Distributed Rake -- A branch of Rake supporting automatic parallelizing of tasks.☆15Aug 7, 2011Updated 15 years ago
- A stream processing library for Scala☆212Sep 29, 2016Updated 10 years ago
- An implementation of µKanren for Pharo☆12Mar 1, 2015Updated 11 years ago
- TLS in Rust (eventually)☆21Mar 12, 2013Updated 13 years ago
- An IRC bot that tries to support multiple languages☆22Jun 5, 2017Updated 9 years ago
- The Bertrand Constraint Language☆31Dec 31, 2023Updated 2 years ago
- MPI bindings for Haskell☆46Apr 1, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A talk on parametricity☆36Jul 18, 2023Updated 3 years ago
- A Haskell library providing an idiomatic implementation of the actor model of concurrency☆14Aug 22, 2012Updated 14 years ago
- Test.GenCheck Haskell project☆17May 17, 2018Updated 8 years ago
- ☆14Mar 2, 2015Updated 11 years ago
- The Slate programming language☆149Oct 15, 2023Updated 3 years ago
- A Java JIT compiler written in Haskell☆74Sep 7, 2013Updated 13 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago