Skip to content
View wolfy-j's full-sized avatar

Organizations

@spiral @spiral-modules @writeaway

Block or report wolfy-j

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 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

Starred repositories

Showing results

Bindings for the Z3 SMT solver

Go 34 22 Updated Aug 9, 2022

Symfony AI Demo Application

PHP 22 6 Updated Dec 24, 2025

A rusty dynamically typed scripting language

Rust 1,892 55 Updated Dec 23, 2025

A clean-room implementation of the Shazam audio fingerprinting algorithm in Go, featuring a custom DSP pipeline, combinatorial hashing, and a React frontend.

Go 39 3 Updated Dec 23, 2025

High-performance vector search for Browser, Node, and Edge

Rust 45 1 Updated Dec 24, 2025

High performance embedded vector database

Rust 94 9 Updated Dec 23, 2025

Systems language with linear types and capability-based security.

OCaml 1,429 52 Updated Jul 28, 2025

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SMT 1,235 271 Updated Dec 22, 2025

Visual Studio Code

TypeScript 179,976 37,034 Updated Dec 25, 2025

The Dragonstone Programming Language

Crystal 4 1 Updated Dec 25, 2025

Minimal CLI coding agent by Mistral

Python 2,322 188 Updated Dec 24, 2025

VoiceFlow brings the power of OpenAI's Whisper directly to your Windows machine. It runs entirely on your hardware, ensuring your voice data never leaves your device. Designed for privacy, speed, a…

TypeScript 91 6 Updated Dec 21, 2025

Rust bindings for the Z3 solver.

Rust 467 142 Updated Dec 10, 2025

Lightweight Durable Golang Workflows

Go 541 42 Updated Dec 19, 2025

Rust library embedding the MoonBit compiler and WASM Component Model tooling

MoonBit 9 3 Updated Dec 6, 2025

Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.

Rust 926 155 Updated Dec 23, 2025

Library for interacting with LLVM IR in pure Go.

Go 1,266 83 Updated Dec 6, 2024

♪ A low-level library to play sound on multiple platforms ♪

Go 1,835 149 Updated Oct 21, 2025

Generate minecraft worlds via natural language

TypeScript 17 Updated Dec 25, 2025

⚙️🦀 Build modular and scalable LLM Applications in Rust

Rust 5,237 594 Updated Dec 22, 2025

Layered Omni-architecture Openfluke Machine

Go 82 2 Updated Dec 22, 2025

Intellij plugin for Luau language support

Luau 25 1 Updated Dec 19, 2025

Language Server Implementation for Luau

Luau 401 101 Updated Dec 21, 2025

Embed the Power of Lua into NGINX HTTP servers

C 11,693 2,060 Updated Dec 17, 2025

Manages Unified Access to Generative AI Services built on Envoy Gateway

Go 1,289 141 Updated Dec 24, 2025

LLM Frontend for Power Users.

JavaScript 21,253 4,451 Updated Dec 25, 2025

CLIP (Contrastive Language-Image Pretraining), Predict the most relevant text snippet given an image

Jupyter Notebook 32,074 3,865 Updated Jul 23, 2024

🌙 φεγγάρι - The Lua VM written in JS ES6 for Node and the browser

JavaScript 1,957 76 Updated Dec 21, 2025

A library for calling C functions from Go without Cgo

Assembly 3,205 99 Updated Dec 18, 2025

Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.

C++ 2,852 207 Updated Oct 7, 2025
Next