Alternatives and similar repositories for urtutorial

Users that are interested in urtutorial are comparing it to the libraries listed below

• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 9 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 6 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆82Updated 7 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• haskellnews / haskellnews
  An aggregation of all online content related to Haskell.
  ☆91Updated 7 years ago
• MedeaMelana / JsonGrammar
  Combinators for bidirectional JSON parsing
  ☆21Updated 11 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• edwinb / Vars
  A small library for tracking mutable state in Idris programs
  ☆12Updated 8 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• ninjarab / stk
  Stk is a free, real time stock quotes, charts and market overview.
  ☆17Updated 6 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 6 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• sheganinans / urweb_deep_dive
  WIP: Presentation turned blog series: Building the simplest possible thing over and over again.
  ☆15Updated 7 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• davean / waldo
  A small Haskell server for generating visual stories based on some ascertainable data about the requester.
  ☆57Updated 13 years ago
• scott-fleischman / agda-from-nothing-2017
  Agda from Nothing: Order in the Types
  ☆13Updated 8 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago
• deech / lambdaconf-shen-talk
  ☆15Updated 9 years ago