A simple note app with good performance and PDF import support

Veryl: A Modern Hardware Description Language

Translate Chisel hardware design code to Scala simulation code.

分析12306 获取全国列车数据

VSCode extension for OpenAI

Easier usage of LLMs in Rockchip's NPU on SBCs like Orange Pi 5 and Radxa Rock 5 series

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

⏩ Ship faster with Continuous AI. Build and run custom agents across your IDE, terminal, and CI

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.