flix / vscode-flix

Related projects: ⓘ

• melvic-ybanez / dry
  A high-level programming language written in Scala
  ☆34Updated 9 months ago
• keyboardDrummer / Miksilo
  The fastest way to build a language
  ☆39Updated 2 years ago
• flix / book
  The Flix Programming Book
  ☆16Updated this week
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 3 months ago
• alexarchambault / mill-native-image
  ☆18Updated last month
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated 10 months ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆40Updated 2 years ago
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆32Updated 5 months ago
• habit-lang / mil-tools
  Tools for MIL, a Monadic Intermediate Language
  ☆21Updated this week
• yona-lang / yona
  Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…
  ☆126Updated 2 years ago
• openmole / scalatex
  Programmable, Typesafe Document Generation
  ☆13Updated 3 years ago
• hkust-taco / mlstruct
  Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"
  ☆28Updated 2 months ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆39Updated last month
• AshleyYakeley / Truth
  Changes and Pinafore projects. Pull requests not accepted.
  ☆32Updated last week
• samuelgruetter / dot-calculus
  Formalization of the Dependent Object Types (DOT) calculus
  ☆62Updated 2 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆40Updated 3 weeks ago
• jphmrst / bps
  Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
  ☆16Updated 11 months ago
• sideeffffect / scala-rust-interop
  ☆32Updated 3 months ago
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆13Updated 5 years ago
• propensive / fury
  A build tool for Scala
  ☆27Updated this week
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆17Updated 3 months ago
• sacode387 / FlowRun
  Runnable flowcharts for the web
  ☆44Updated 3 months ago
• JD557 / minart
  A minimal Scala creative coding library targeting JVM/Javascript/Native
  ☆51Updated this week
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆26Updated 3 years ago
• lolgab / cosmopolitan-scalajs-example
  Universal Scala.js executable
  ☆23Updated 2 years ago
• xencura / kagera
  A discrete, colored Petri Net DSL and executor
  ☆17Updated 2 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆49Updated 11 years ago
• unisonweb / base_v1
  Unison base libraries, published using V1 codebase format
  ☆24Updated 3 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆27Updated 5 months ago
• samskivert / bidir-scala
  A simple bidirectional type checker
  ☆17Updated 5 years ago