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

Back up and search your shell history with SQLite

Rust 3 Updated Aug 12, 2026

A coding agent

Rust 4 1 Updated Aug 10, 2026

Fast Markdown linter and formatter written in Rust

Rust 1,410 73 Updated Aug 11, 2026

A workspace-aware Cargo lint for unnecessary public Rust APIs.

Rust 293 13 Updated Aug 6, 2026

Vimium/Easymotion like navigation for tmux.

Ruby 478 27 Updated Jul 23, 2026

Support atomic operations on Arc itself

Rust 1,403 52 Updated Jun 28, 2026

Nominal's open-source library for hardware test instrumentation

Python 650 22 Updated Aug 12, 2026

A static verifier for Rust, based on the Viper verification infrastructure.

Rust 1,800 125 Updated Aug 11, 2026
Rust 902 87 Updated Aug 9, 2026

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

Nix 477 53 Updated Jul 7, 2026

Wasm interpreter in lean, designed for reasoning

Lean 159 20 Updated Aug 11, 2026

Siri Shortcuts Programming Language 🍒

Go 1,581 64 Updated Jul 29, 2026

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

TypeScript 1,951 118 Updated Jul 6, 2026

LSP implementation for Tree-sitter's query files

Rust 148 9 Updated Aug 10, 2026

Security firewall for agents

Go 977 47 Updated Aug 2, 2026

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

Rust 1,093 80 Updated Apr 20, 2024

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

Lean 73 1 Updated Jun 3, 2026

Jupyter libraries for Rust

Rust 95 28 Updated Jul 22, 2026

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

TypeScript 888 48 Updated Aug 9, 2026

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

Rust 18,502 1,790 Updated Aug 12, 2026

🦀 Soothing pastel theme for Zed

Just 881 35 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 855 95 Updated Aug 10, 2026

A language binding generator for WebAssembly interface types

Rust 1,441 283 Updated Aug 12, 2026

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

Rust 4,366 103 Updated Aug 11, 2026

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

Rust 58,939 2,665 Updated Aug 11, 2026

Run zizmor from GitHub Actions!

Shell 152 17 Updated Aug 10, 2026

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

TypeScript 2,830 544 Updated Aug 1, 2026

An async ORM for Rust

Rust 3,011 135 Updated Aug 11, 2026

PubGrub version solving algorithm implemented in Rust

Rust 794 57 Updated Aug 7, 2026

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

Rust 545 71 Updated Jul 6, 2026
Next