lrlucena / whilelang

Related projects ⓘ

Alternatives and complementary repositories for whilelang

• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆62Updated 2 years ago
• melvic-ybanez / dry
  A high-level programming language written in Scala
  ☆34Updated 11 months ago
• tpolecat / basic-dsl
  Useless embedded DSL and monadic interpreter for BASIC.
  ☆42Updated 9 years ago
• jdegoes / advanced-functional-design
  The material for the Advanced Functional Design workshop
  ☆18Updated 2 years ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆17Updated 5 years ago
• marcopennekamp / lore
  Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…
  ☆17Updated last year
• SystemFw / Befunge-93
  Purely Functional, Final Tagless interpreter for the Befunge-93 esolang
  ☆36Updated 6 years ago
• typelevel / monoids
  Generic Monoids for Scala
  ☆51Updated last week
• julienrf / scalm
  Elm-inspired Scala library for writing web user interfaces
  ☆119Updated 3 years ago
• flix / vscode-flix
  ☆20Updated last week
• pavelfatin / toyide
  Modern IDE plus custom programming languages with interpreters and compilers
  ☆66Updated 6 years ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆39Updated 2 years ago
• misto / Write-Yourself-a-Scheme-in-Scala
  Scala translation of the awesome «Write Yourself a Scheme in 48 Hours» tutorial.
  ☆7Updated 13 years ago
• zero-deps / kvs
  Highly available distributed strong eventual consistent and sequentially consistent storage with feeds, sorting and search
  ☆23Updated last month
• phaller / lacasa
  Lightweight affine types and object capabilities in Scala
  ☆32Updated 5 years ago
• stew / scatur
  A Turing Machine encoded in the scala type system
  ☆41Updated 12 years ago
• ekmett / cadenza
  every day i'm truffling
  ☆67Updated 3 years ago
• ThoughtWorksInc / future.scala
  Stack-safe asynchronous programming
  ☆37Updated 3 months ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• rathboma / scala-libgdx-examples
  Libgdx examples built with scala
  ☆38Updated 11 years ago
• elbaulp / Scala-Category-Theory
  Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
  ☆32Updated 6 years ago
• liufengyun / stoic
  a capability-based system
  ☆40Updated 6 years ago
• mossprescott / invertible-syntax
  Invertible syntax and partial isomorphisms for Scala
  ☆31Updated 6 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• Rich2 / openstrat
  Cross Platform Scala 2d graphics (but 3d compatible), basic geometry, maps, Earth maps, hex-tiling and strategy library(s).
  ☆22Updated this week
• http4s / http4s-finagle
  Http4s on Finagle Server or Client
  ☆11Updated 3 weeks ago
• analogweb / analogweb-scala
  Tiny High Performance HTTP Server for Scala
  ☆13Updated 10 months ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago