Alternatives and similar repositories for retile:

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

• Atry / Control.Dsl
  An alternative to monads in do notation
  ☆13Updated 4 years ago
• Dash-Lambda / Eso
  A (mostly) purely functional console-based esoteric language interpreter.
  ☆12Updated 3 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• samskivert / compose
  An experimental programming language.
  ☆18Updated 5 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 2 years ago
• outr / sgine
  Scala Engine for OpenGL-based Desktop, Android, and iOS game and business development.
  ☆26Updated 2 months ago
• thautwarm / idris-cam
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated last year
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• guillaume-alvarez / ShapeOfThingsThatWere
  strategy game based on hex map and discoveries
  ☆27Updated 3 years ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated this week
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated 6 months ago
• sacode387 / FlowRun
  Runnable flowcharts for the web
  ☆49Updated last month
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• tvdstorm / oalgcomp
  Object Algebra Composition
  ☆24Updated 11 years ago
• jzwood / portcullis
  A minimalist / functional / dataflow programming language
  ☆13Updated 11 months ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• coot / heyting-algebras
  Heyting Algebras in Haskell
  ☆14Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆17Updated 2 weeks ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• LPCIC / matita
  Matita (proof assistant) with embedded elpi
  ☆12Updated 7 years ago
• sabauma / agda-relation-algebra
  Relational algebra implementation in Agda with simple bindings to SQLITE
  ☆12Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆18Updated 5 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆25Updated 11 years ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago