Skip to content
View vmsp's full-sized avatar

Block or report vmsp

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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

SMTP client with sendmail compatible interface

C 200 39 Updated Jan 13, 2025

FFMPEG Assembly Language Lessons

2,833 77 Updated Mar 3, 2025

Apple array system

Jupyter Notebook 66 2 Updated Mar 6, 2025

An intuitive spreadsheet-like interface that lets users of all technical skill levels view, edit, query, and collaborate on Postgres data directly—100% open source and self hosted, with native Post…

Svelte 3,985 367 Updated Mar 6, 2025

The native Clojure dialect hosted on LLVM

C++ 2,394 80 Updated Mar 7, 2025

The Amsterdam Compiler Kit

C 467 67 Updated Jan 11, 2025

A Modern C11 compiler (STILL EARLY)

C 1,085 38 Updated Mar 3, 2025

A very fast linker for Linux

Rust 1,837 43 Updated Mar 6, 2025

A native, user-mode, multi-process, graphical debugger.

C 4,159 205 Updated Feb 25, 2025

Automatically add frozen_string_literals to selected files at compile time

Ruby 121 4 Updated Mar 7, 2025

AddressSanitizer, ThreadSanitizer, MemorySanitizer

C 11,805 1,059 Updated Jan 23, 2025

📙 Amazon Web Services — a practical guide

Shell 35,893 3,882 Updated Aug 16, 2024

HACL*, a formally verified cryptographic library written in F*

F* 1,645 174 Updated Mar 7, 2025

Cryptographic Primitive Code Generation by Fiat

Coq 743 148 Updated Mar 7, 2025

Binary encoding optimised for Twitter

JavaScript 846 20 Updated Mar 3, 2025

Standalone C compiler/assembler/linker/libc for x86-64/aarch64/riscv64/wasm

C 307 18 Updated Mar 6, 2025

TinySSH is small server (less than 100000 words of code)

C 1,457 78 Updated Feb 1, 2025

(educational) build your own disk based KV store

Python 1,286 99 Updated Jul 22, 2024

Checking that functions are constant time with Valgrind

C 178 16 Updated Feb 26, 2017

Guidelines for low-level cryptography software

1,136 89 Updated Jun 11, 2023

C Interfaces and Implementations

C 647 156 Updated Oct 5, 2024

The CompCert formally-verified C compiler

Coq 1,944 233 Updated Mar 4, 2025

File and Archive Manager

C++ 1,885 207 Updated Mar 6, 2025

Programming course for Wannabes

C 37 10 Updated Jan 26, 2025

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

C++ 2,909 203 Updated Dec 31, 2024
Rust 95 2 Updated Feb 24, 2025

Common Lisp editor/IDE with high expansibility

Common Lisp 2,566 203 Updated Feb 27, 2025

A dynamic language and bytecode vm

C 3,736 235 Updated Mar 5, 2025

code-based qr code designer

TypeScript 3,044 102 Updated Jan 25, 2025

A friendly and extensible CLI for deploying Rails apps via SSH

Ruby 418 16 Updated Mar 6, 2025
Next