C as an Embedded Language in Scala

Rotary Encoder with NeoPixels and USB Interface

A Formal Verification Framework for Chisel

Open-source high-performance RISC-V processor

⏩ Continue is the leading open-source AI code assistant. You can connect any models and any context to build custom autocomplete and chat experiences inside VS Code and JetBrains

Extensible algebraic effects with handlers

Llama2 LLM ported to Rust burn

A scala-kotlin-java joint compilation plugin built on Gradle, for native Android.

A DSL for Bash scripts, in Scala

A Hello World VS Code extension with ScalaJS.

Idris front-end for VS Code

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older versio…

Scala 3 native binding generator + libclang facade

A Proof-oriented Programming Language

Scala language server with rich IDE features 🚀

Sketch and take handwritten notes.

An FP game engine for Scala.

🌕🏄🏿 Surf the musical road among the stars. Side project built by two people in a few months to demonstrate WebXR.

🅰️ Web framework for building virtual reality experiences.

🤳 VR/AR for react-three-fiber

Control structures for the free monad in Scala

DSL in Scala for Constraint Solving with Z3 SMT Solver

Dataset and codes for ACL 2019 DocRED: A Large-Scale Document-Level Relation Extraction Dataset.

An experimental library for Cubical Agda

EPIT 2020 - Spring School on Homotopy Type Theory

Conference on Homotopy Type Theory 2019

Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.

Deep universal probabilistic programming with Python and PyTorch

Can I drop typescript yet?

The Javascript ecosystem for Scala.js!