Haskell-like STM for Swift
☆45Dec 29, 2015Updated 10 years ago
Alternatives and similar repositories for SwiftSTM
Users that are interested in SwiftSTM 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 server-side library in Haskell for sending push notifications to devices running different OS.☆26Aug 29, 2017Updated 8 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 9 years ago
- ETC☆15Aug 27, 2021Updated 4 years ago
- No longer used, use https://github.com/rust-lang/llvm-project instead☆11May 16, 2019Updated 6 years ago
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Set of utilities to work easier with Bender.☆13Sep 28, 2017Updated 8 years ago
- Formalization of Typed Assembly Language (TAL) in Coq☆18Mar 11, 2024Updated 2 years ago
- The Elm programming language in the Spoofax language workbench☆10Jul 10, 2015Updated 10 years ago
- Reincarnate Artifact for ICFP 2018☆13Jun 24, 2024Updated last year
- A utility library for the purescript foreign function interface☆21Jun 12, 2018Updated 7 years ago
- Load environment variables from .env☆19Dec 21, 2023Updated 2 years ago
- A list of companies in Schleswig-Holstein and Hamburg, that use functional programming☆12Mar 31, 2021Updated 4 years ago
- Human-like theorem prover, inspired by robotone and developed in the Coq ecosystem.☆17May 6, 2022Updated 3 years ago
- Examples from our paper "Capturing the Future by Replaying the Past"☆23Sep 10, 2024Updated last year
- OAuth2 token generator☆12Jan 9, 2016Updated 10 years ago
- haskell implementation of garbled circuits☆12Dec 3, 2017Updated 8 years ago
- A clojure/clojurescript whiteboard for interactive drawing in the browser☆12Jan 8, 2021Updated 5 years ago
- An implementation of the Todo Backend spec using Pedestal and Datomic☆16Sep 7, 2017Updated 8 years ago
- A Mac app to turn Vine videos into gifs☆84Feb 3, 2013Updated 13 years ago
- Quick start for the vagrant box I use for ghcjs / react-haskell / pigment development☆11Jun 26, 2015Updated 10 years ago
- Programming Languages Grammar House (BNF like grammars)☆32Jul 7, 2025Updated 8 months ago
- DEPRECATED. Moved to elm-community/json-extra =>☆10Jun 16, 2016Updated 9 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- A minimal Haskell web-framework based on the WAI web server interface.☆39Apr 29, 2023Updated 2 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆25Mar 7, 2016Updated 10 years ago
- DEPRECATED: please use https://github.com/purescript-contrib/purescript-argonaut☆14Feb 7, 2017Updated 9 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Automatic (re)compilation of Purescript code☆11Oct 12, 2022Updated 3 years ago
- Bindings to the brotli library featuring a low-overhead encoder and decoder, Writers and Readers for compression and decompression at cus…☆25Jan 27, 2024Updated 2 years ago
- A ring middleware for OpenID Connect authentication with Auth0 in your Clojure app☆14Mar 28, 2018Updated 7 years ago
- Friendly functions for getting started with tasks☆11Nov 18, 2015Updated 10 years ago
- Profunctor type classes and data structures☆34Mar 7, 2024Updated 2 years ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- generate swift boilerplate☆10Feb 22, 2026Updated last month
- A Haskell implementation of Cross-Origin resource sharing (CORS) for Wai☆26Apr 3, 2023Updated 2 years ago
- MOVED, please see: https://github.com/RxSwiftCommunity/RxMultipeer☆15Apr 24, 2016Updated 9 years ago
- Sangria monix integration☆10Feb 12, 2026Updated last month
- Use scalatags with play framework☆10Feb 21, 2015Updated 11 years ago