Alternatives and similar repositories for urtutorial:

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

• vindaloo-thesis / idris-se
  Idris to Serpent back end for Ethereum smart contracts
  ☆32Updated 7 years ago
• stedolan / idris-malfunction
  Experimental Malfunction backend for Idris
  ☆81Updated 6 years ago
• vindaloo-thesis / examples
  Code samples inspiring language design
  ☆24Updated 8 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 9 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• j4cbo / stilts
  SML On Stilts
  ☆37Updated 10 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 10 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• edwinb / Vars
  A small library for tracking mutable state in Idris programs
  ☆12Updated 7 years ago
• bmsherman / blog
  ☆41Updated 10 years ago
• SimonJF / IdrisNet2
  A proper network library for Idris, now that I know what I'm doing.
  ☆58Updated 8 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• ziman / idris-ocaml
  OCaml back end for Idris
  ☆22Updated 7 years ago
• edwinb / Protocols
  A DSL for describing and implementing communication protocols
  ☆83Updated 10 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 8 years ago
• odipar / spread
  SPREAD
  ☆19Updated 3 years ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆22Updated 6 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• leon-vv / Todo
  Idris Todo web application example
  ☆42Updated 2 years ago
• bazqux / bazqux-urweb
  Ur/Web part of BazQux Reader sources
  ☆82Updated 3 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆36Updated 13 years ago
• david-christiansen / idris-type-providers
  Type provider library for Idris
  ☆94Updated 7 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆29Updated 8 months ago
• sshastry / queenslogic
  n queens with the logic monad
  ☆20Updated 10 years ago
• jonleivent / mindless-coding-phase2
  Mindless, verified (erasably) coding using dependent types, phase 2
  ☆20Updated 4 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 9 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆40Updated 9 years ago
• liqd / thentos
  A tool for privacy-preserving identity management (PPIM)
  ☆56Updated 8 years ago