☆29Jul 24, 2015Updated 11 years ago
Alternatives and similar repositories for SearchingReddit
Users that are interested in SearchingReddit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Omniauth Strategy for Pocket☆15Mar 5, 2017Updated 9 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek…☆15Mar 16, 2018Updated 8 years ago
- Constraint Handling Rules in Clojure☆28Oct 14, 2011Updated 14 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.
- Web-based reference manager, written in Haskell.☆31May 7, 2016Updated 10 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 6 years ago
- Development of the CafeOBJ interpreter☆41Nov 18, 2024Updated last year
- A Common Lisp painting application☆32May 17, 2026Updated 2 months ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated last year
- Automatic Design of Algorithms Through X☆20Dec 21, 2014Updated 11 years ago
- Emacs programming tool for editing strings or comments in Org mode or any other text mode☆92Feb 12, 2024Updated 2 years ago
- Bucklescript bindings for Enzyme☆36Jul 7, 2021Updated 5 years ago
- Emacs setup files☆25May 17, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A library to build and execute typed scientific workflows☆49May 18, 2026Updated 2 months ago
- An R6RS framework for creating compilers that target C.☆115Nov 3, 2015Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- Clojure wrapper for the Stanford CoreNLP Java library☆108Jan 4, 2021Updated 5 years ago
- Dependently Typed Genetic Programming☆23Jun 24, 2011Updated 15 years ago
- Dynamic programming inference by continuation hashing.☆30Apr 6, 2015Updated 11 years ago
- Matplotlib for Chez Scheme☆26Dec 8, 2019Updated 6 years ago
- Arbitrary bookmarks for your files and Vim docs☆18Feb 20, 2015Updated 11 years ago
- subscribe to RSS image feeds☆10Feb 25, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Apollo, an open source, free adblock detector for Google Analytics☆42May 23, 2016Updated 10 years ago
- Serverless chat demo☆12Aug 5, 2018Updated 8 years ago
- AllConcur: Algorithm for LeaderLess CONCURrent atomic broadcast☆31Feb 8, 2017Updated 9 years ago
- A WebExtension that adds a sidebar to perform selections on multiple tabs in a window☆16Dec 21, 2017Updated 8 years ago
- ⚖️ Trustworthy localStorage. Validate against a schema, set default values.☆11Mar 4, 2023Updated 3 years ago
- Dereference URIs into communication channels for Async or Lwt☆87Nov 24, 2025Updated 8 months ago
- Glue code between the Org, Gnus, and BBDB packages for Emacs.☆32Mar 13, 2017Updated 9 years ago
- Starting template for https://react-book.melange.re☆10Jun 25, 2024Updated 2 years ago
- live process hacking - lisp bindings to ptrace()☆56Mar 7, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Distilled from the bones of DarkTooth ... Creamsody☆69Jul 24, 2025Updated last year
- AST Code Generator implemented several different ways with and without ES generators.☆15Jul 17, 2018Updated 8 years ago
- Error-recovering streaming HTML5 and XML parsers☆150Oct 6, 2024Updated last year
- Manifold implementation in Clojurescript☆50Dec 20, 2019Updated 6 years ago
- Language independent type-safe communication☆135Mar 2, 2018Updated 8 years ago
- ⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml☆204Dec 19, 2019Updated 6 years ago
- A pair of light and dark Emacs 24 color themes.☆12May 7, 2026Updated 3 months ago