Skip to content
View doofin's full-sized avatar

Sponsoring

@raquo

Organizations

@idris-industry

Block or report doofin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A DSL for the internal language of a topos

Scala 67 3 Updated Feb 15, 2026

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

HTML 1,975 393 Updated Feb 14, 2026

MLIR For Beginners tutorial

C++ 1,223 118 Updated Jul 18, 2025

ScalaJS WebGL utils and demos

Scala 10 Updated Feb 15, 2026

ScaIR - Democratizing Compilers

Scala 12 4 Updated Feb 16, 2026

A Hugo theme for documentation sites.

JavaScript 339 107 Updated Nov 4, 2025

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

Shell 1,980 181 Updated Nov 24, 2025

USB WiFi Adapter Information for Linux

4,068 239 Updated Feb 17, 2026

open source vscode coding assistant in Scala.js

Scala 16 Updated Dec 13, 2025

A simple note app with good performance and PDF import support

C++ 1,091 49 Updated Feb 17, 2026

Veryl: A Modern Hardware Description Language

Rust 885 57 Updated Feb 17, 2026

Translate Chisel hardware design code to Scala simulation code.

Scala 14 2 Updated May 15, 2025
TypeScript 28,209 2,316 Updated Jan 12, 2026

分析12306 获取全国列车数据

C# 466 68 Updated Jun 22, 2022

VSCode extension for OpenAI

TypeScript 14 3 Updated Dec 17, 2022

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

C 1 Updated Nov 17, 2024

C as an Embedded Language in Scala

Scala 18 5 Updated Dec 17, 2014

Rotary Encoder with NeoPixels and USB Interface

C 22 2 Updated Nov 24, 2024

A Formal Verification Framework for Chisel

Scala 18 2 Updated Apr 9, 2024

Open-source high-performance RISC-V processor

Scala 6,875 867 Updated Feb 16, 2026

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

TypeScript 31,422 4,166 Updated Feb 17, 2026

Extensible algebraic effects with handlers

Scala 148 15 Updated Feb 15, 2026

Llama2 LLM ported to Rust burn

Rust 280 17 Updated Apr 16, 2024

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

Groovy 38 3 Updated Feb 8, 2024

A DSL for Bash scripts, in Scala

Scala 1 Updated Feb 3, 2026

A Hello World VS Code extension with ScalaJS.

Scala 14 7 Updated Nov 9, 2023

Idris front-end for VS Code

TypeScript 61 11 Updated Mar 8, 2023

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…

Coq 216 12 Updated Aug 31, 2020

Scala 3 native binding generator + libclang facade

Scala 93 14 Updated Nov 24, 2025

A Proof-oriented Programming Language

F* 2,974 251 Updated Feb 14, 2026
Next