Skip to content
View terror's full-sized avatar

Highlights

  • Pro

Organizations

@hackmcgill @competemcgill @flojoy-ai @DISLMcGill @jj-vcs @moyai-orz @mcgill-courses

Block or report terror

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
Showing results
Rust 886 83 Updated Apr 3, 2026

A Nix parser written in Rust [maintainer=@oberblastmeister]

Nix 471 51 Updated Feb 16, 2026

Wasm interpreter in lean, designed for reasoning

Lean 123 13 Updated Jun 21, 2026

Siri Shortcuts Programming Language 🍒

Go 1,553 59 Updated Jun 7, 2026

Experimental Linux microvm setup with a TypeScript Control Plane as Agent Sandbox

TypeScript 1,453 97 Updated Jun 8, 2026

LSP implementation for Tree-sitter's query files

Rust 148 9 Updated May 19, 2026

Security firewall for agents

Go 857 41 Updated Jun 20, 2026

A lightning fast version of tmux-fingers written in Rust, copy/pasting tmux like vimium/vimperator

Rust 1,084 79 Updated Apr 20, 2024

⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.

Lean 71 1 Updated Jun 3, 2026

Jupyter libraries for Rust

Rust 93 26 Updated Jun 8, 2026

Open-source model-agnostic BYOK GitHub bot that runs in GitHub Actions

TypeScript 776 42 Updated Jun 12, 2026

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Rust 18,236 1,749 Updated Jun 20, 2026

🦀 Soothing pastel theme for Zed

Just 853 32 Updated May 23, 2026

This crate provides custom de/serialization helpers to use in combination with serde's `with`-annotation and with the improved `serde_as`-annotation.

Rust 848 90 Updated Jun 20, 2026

A language binding generator for WebAssembly interface types

Rust 1,416 275 Updated Jun 16, 2026

Command-line sampling profiler for macOS, Linux, and Windows

Rust 4,259 101 Updated Jun 19, 2026

A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.

Rust 58,223 2,577 Updated Jun 20, 2026

Run zizmor from GitHub Actions!

Shell 127 12 Updated Jun 21, 2026

A GitHub action to create a pull request for changes to your repository in the actions workspace

TypeScript 2,805 545 Updated Jun 2, 2026

An async ORM for Rust

Rust 2,659 118 Updated Jun 18, 2026

PubGrub version solving algorithm implemented in Rust

Rust 778 54 Updated Jun 8, 2026

Effortlessly self-host whiteboards. High-performance, cross-platform digital whiteboard with live collaboration built in Rust & WebGPU. Zero subscription, AGPLv3-licensed.

Rust 511 69 Updated Jun 16, 2026
Rust 835 58 Updated Jun 21, 2026

DeepSeek 4 Flash and PRO local inference engine for Metal, CUDA and ROCm

C 14,902 1,301 Updated Jun 17, 2026

A fast Node.js package manager

Rust 1,523 38 Updated Jun 21, 2026

Review-first terminal diff viewer for agentic coders

TypeScript 5,324 133 Updated Jun 22, 2026

Rust cache structures and easy function memoization

Rust 2,043 109 Updated Jun 21, 2026

High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.

Rust 281 23 Updated Jun 21, 2026

A distributed thread-per-core document database

Rust 539 21 Updated Dec 15, 2023

Print path to local Rust dependencies

Rust 11 1 Updated Jun 11, 2026
Next