Skip to content
View velveteer's full-sized avatar

Highlights

  • Pro

Organizations

@dreamlets @dungeon-studio

Block or report velveteer

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

Software Transactional Memory for OCaml

OCaml 141 13 Updated Jun 14, 2025

An experimental WebAssembly backend for PureScript compiler

PureScript 12 Updated Jun 13, 2026

Organize anything

Rust 95 3 Updated Jun 7, 2026

Make JSON greppable!

Go 14,456 332 Updated May 31, 2025

A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.

C++ 107 30 Updated Apr 3, 2026

Drop-in Apache Spark replacement written in Rust, unifying batch processing, stream processing, and compute-intensive AI workloads.

Rust 2,951 172 Updated Jun 14, 2026

A Screenshot Testing service to tie with your existing Android, iOS and Web screenshot tests

Common Lisp 301 14 Updated Jun 13, 2026

A reactive notebook for Haskell

HTML 90 8 Updated Jun 14, 2026

Anti-Detect Browser that passes every bot detection test. Drop-in Playwright replacement.

Python 1,337 145 Updated Jun 14, 2026

Making Docker and Kubernetes management easy.

TypeScript 37,723 2,836 Updated Jun 14, 2026
Nix 18 2 Updated Jun 12, 2026

Rate limiting backed by your existing Postgres. No Redis, no extra infrastructure.

TypeScript 2 Updated Mar 4, 2026

A fast, low-level HTTP server you can trust

Haskell 47 4 Updated Sep 5, 2018

Compress tool outputs, logs, files, and RAG chunks before they reach the LLM. 60-95% fewer tokens, same answers. Library, proxy, MCP server.

Python 27,161 1,832 Updated Jun 14, 2026

Haskell library for writing JVM bytecode in a high level format

Haskell 16 Updated Jun 13, 2026

Continuous profiling for GHC programs

Haskell 2 Updated Jun 5, 2026

Unit conversion

Haskell 10 1 Updated Apr 28, 2026

A library providing useful types and functions for functional programming in Python

Python 32 Updated Jun 14, 2026

♟️ The game of chess

Haskell 4 Updated Jun 7, 2026
Haskell 5 Updated Jun 13, 2026

Open-source gravitational energy storage system. Converts potential energy into usable electricity using a chain-driven transmission, magnetic braking, and MPPT regulation. 13W peak output at 58% e…

11 2 Updated May 15, 2026

A typechecker and lazy interpreter for System U

Haskell 12 Updated Jun 7, 2026

Haskell model of Zanzibar

Haskell 1 1 Updated Apr 20, 2026

GHCi scripts for standalone execution and Markdown documentation.

Haskell 5 1 Updated Jun 13, 2026

smoll suggestion for witchcrafters.

Haskell 2 1 Updated May 23, 2026

Darwin system built with Nix

Shell 43 1 Updated May 22, 2026

Ant simulation in Haskell.

Haskell 6 Updated Mar 11, 2026

Enterprise Web API using .NET Core 7, EF Core 7, PostgreSQL, pgAdmin, Keycloak, Redis, & Docker

C# 5 Updated Aug 22, 2023

Type-safe Haskell Rust Bindings

Rust 76 1 Updated May 19, 2026

This page features AIOStreams templates and AIOMetadata configs for your perfect all-in-one stremio setup.

648 39 Updated May 17, 2026
Next