A Haskell web application using acid-state and scotty
☆16Apr 14, 2013Updated 13 years ago
Alternatives and similar repositories for haskell-warp-rest
Users that are interested in haskell-warp-rest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Example application showing snap, heist, authentication and digestive functors working together☆10Jun 17, 2012Updated 14 years ago
- Integrating Hastache templates into Scotty☆17Dec 22, 2014Updated 11 years ago
- ☆19Jul 24, 2017Updated 9 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 6 years ago
- Some stuff from Robert Harper's lectures at OPLSS, formalized in Agda.☆16Aug 4, 2011Updated 15 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Deploy Haskell apps to Heroku☆275May 27, 2019Updated 7 years ago
- A Haskell IDE based on spf-13 and VIM☆46Sep 7, 2012Updated 14 years ago
- Basic Hakyll + Bootstrap site☆29Nov 23, 2017Updated 8 years ago
- Haskell on vim☆14Apr 23, 2015Updated 11 years ago
- An alternative interface to Opaleye, built around type families☆13Nov 23, 2016Updated 9 years ago
- Scion part for EclipseFP Class Browser☆14May 14, 2015Updated 11 years ago
- Fay FFI bindings for AngularJS☆24Jul 1, 2014Updated 12 years ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 2021Updated 5 years ago
- schema migrations so easy you already know how to write them. guaranteed.☆11Jun 2, 2016Updated 10 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.
- CellH5 is an HDF5 data format for cell-based assays in high-throughput microscopy, which stores high-dimensional image data along with in…☆12May 29, 2020Updated 6 years ago
- A starter-kit for the Scotty web framework☆66May 21, 2018Updated 8 years ago
- A type safe layer for llvm-general☆11Feb 5, 2016Updated 10 years ago
- Python implementation of Bayesian Astrometry framework☆13Jun 29, 2018Updated 8 years ago
- Playing with Leap Motion and Parrot AR.Drone☆11Nov 17, 2015Updated 10 years ago
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 9 years ago
- Lazy-ass caches for Backbone collections and models.☆14Sep 9, 2013Updated 13 years ago
- Annotated Heist templating examples in a Snap app☆21Dec 10, 2013Updated 12 years ago
- New version of Effects library with dependent states☆13Jan 14, 2014Updated 12 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic☆14Sep 13, 2014Updated 12 years ago
- First class patterns and pattern matching, using type families☆14Jun 6, 2018Updated 8 years ago
- A Backbone collection with paging and simple caching capabilities☆18Jul 16, 2012Updated 14 years ago
- ☆15Oct 23, 2014Updated 12 years ago
- Asimi JS☆14Nov 2, 2012Updated 13 years ago
- A simple ITK-to-Python bridge written in Cython☆11Aug 30, 2014Updated 12 years ago
- HoTT group project to TeXify Cartmell's PhD thesis “Generalised Algebraic Theories and Contextual Categories”☆17Jan 6, 2026Updated 9 months ago
- Code for simulating a multi-view acquisition including attenuation, convolution, reduced sampling and poission noise☆12Jun 15, 2026Updated 4 months 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.
- Micro-Manager Open Source Microscopy Software (http://valelab.ucsf.edu/~MM/MMwiki/). SVN-tracking Git repository☆15Jul 14, 2016Updated 10 years ago
- Python & Numpy embedded within C++ using Cython as magic glue☆12Aug 20, 2013Updated 13 years ago
- Examples from the article “GCP Infrastructure as Code with Deployment Manager”☆15Jul 4, 2018Updated 8 years ago
- @dave-thompson's QMK modules, including Lumberjack and Lightshift☆13Sep 11, 2026Updated last month
- An example for how to mock a JSON Web Token against Auth0 in Node.js☆11Dec 30, 2022Updated 3 years ago
- (Finite) multisets in Cubical Agda☆11Apr 22, 2026Updated 6 months ago
- Notes (and implementation) of unification with binders☆17Feb 10, 2026Updated 8 months ago