Skip to content
View cmsd2's full-sized avatar

Block or report cmsd2

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Starred repositories

Showing results

a rust-native Modelica compiler for fast, composable, scientific computing

Rust 81 18 Updated Jun 16, 2026

Kani Rust Verifier

Rust 3,131 147 Updated Jun 15, 2026

From a goal to a task DAG, automatically. TypeScript-native multi-agent orchestration.

TypeScript 6,384 2,390 Updated Jun 15, 2026
Rust 5 Updated Jun 16, 2026

Stop sending naked documents. Firemark watermarks images & PDFs in one command. Optimized to tackle AI watermark removal. Written in Rust.

Rust 97 6 Updated Apr 10, 2026

Embeddable spreadsheet engine — parse, evaluate & mutate Excel workbooks from Rust, Python, or the browser. Arrow-powered, 320+ functions.

Rust 139 16 Updated Jun 12, 2026

A verified tool that works on any potato computer that will let you bypass discord verification

HTML 1,488 91 Updated Feb 23, 2026

LEMMA: Logical Engine for Multi-domain Mathematical Analysis

Rust 28 3 Updated Feb 14, 2026

Notebook support for Wolfram Language in VS Code

TypeScript 194 12 Updated Nov 16, 2023

R for data science: a book

R 5,065 4,426 Updated Apr 8, 2026

Rust MCP framework for building AI agents

Rust 23 1 Updated Dec 28, 2025

Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.

Rust 15,432 945 Updated Jun 17, 2026

Fil-C: completely compatible memory safety for C and C++

3,345 67 Updated Jun 16, 2026

A digital logic designer and circuit simulator.

Java 5,783 576 Updated Jun 12, 2026

embedded-hal abstractions for AVR microcontrollers

Rust 1,619 255 Updated Jan 6, 2026

A GAL assembler, largely galasm-compatible and written in Rust.

Rust 156 29 Updated Mar 8, 2024

A collection of scripts and tools for Atmel ATF150x and GAL Programmable logic devices, some of the only standing active 5V programmable logic parts still available.

Python 141 17 Updated May 23, 2026

A VS Code extension providing support for the CUPL language.

9 Updated Jun 21, 2024

"Anyone who has brought up CP/M on a homebuilt computer has felt this moment of elation. A myriad of connections are properly closed; bits are flying at lightning speeds over busses and through cir…

Assembly 94 10 Updated Jan 17, 2025

⅋ — session types for Rust

Rust 228 4 Updated Jul 23, 2025

Ergonomic bindings to SQLite for Rust

Rust 4,256 471 Updated Jun 14, 2026

A repository of Maker Skill Trees and templates to make your own.

Jinja 3,388 176 Updated May 6, 2026

Rust actor framework

Rust 2,051 129 Updated Jun 10, 2026

a minimalistic rust actor framework

Rust 24 3 Updated Mar 24, 2026

Build AI Agents, Visually

TypeScript 53,659 24,518 Updated Jun 16, 2026

Explore OpenBB SDK without having to install anything on your local machine. You just need a GitHub and a GitPod account.

Jupyter Notebook 41 3 Updated Jan 20, 2023

Message passing infrastructure for Rust.

Rust 10 Updated Sep 19, 2023

Set up a modern rust+react web app by running one command.

Rust 1,604 71 Updated Jun 22, 2025

Wonk is a tool for combining a set of AWS policy files into smaller compiled policy sets.

Python 160 11 Updated Oct 30, 2025
Next