A DSL for the internal language of a topos

🔯 Modern, batteries-included Hugo theme for creating beautiful doc, blog and static websites

MLIR For Beginners tutorial

ScalaJS WebGL utils and demos

ScaIR - Democratizing Compilers

A Hugo theme for documentation sites.

Set Linux as router in one command. Support Internet sharing, redsocks, Wifi hotspot, IPv6. Can also be used for routing VM/containers 🛰️

USB WiFi Adapter Information for Linux

open source vscode coding assistant in Scala.js

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

⏩ Source-controlled AI checks, enforceable in CI. Powered by the open-source Continue CLI

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