A statesmanlike state machine library.

Embed Crystal code directly in Ruby

⭐️ A friendly language for building type-safe, scalable systems!

OpenGFW is a flexible, easy-to-use, open source implementation of GFW (Great Firewall of China) on Linux

Detect file content types with deep learning

`orbitron` is a tool for making orbital animations including spacecraft trajectories using the NASA/JPL Horizons API.

bloop is a fast code search engine written in Rust.

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

GPT based autonomous agent that does online comprehensive research on any given topic

Open-source RAG Framework for building GenAI Second Brains 🧠 Build productivity assistant (RAG) ⚡️🤖 Chat with your docs (PDF, CSV, ...) & apps using Langchain, GPT 3.5 / 4 turbo, Private, Anthropic…

🧠 Cognitive Load is what matters

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

Specify what you want it to build, the AI asks for clarification, and then builds it.

Write TODOs in code that ensure you actually do them

AudioGPT: Understanding and Generating Speech, Music, Sound, and Talking Head

JARVIS, a system to connect LLMs with ML community. Paper: https://arxiv.org/pdf/2303.17580.pdf

Multithreaded, Postgres-based, Active Job backend for Ruby on Rails.

Manage your dotfiles across multiple diverse machines, securely.

A high-performance web server for Ruby, supporting HTTP/1, HTTP/2 and TLS.

An uroboros program with 100+ programming languages

Virtual machines for iOS and macOS

Effortlessly transmitting Morse Code of chess moves to your butthole 💝

Probabilistic language based on pattern matching and constraint propagation, 153 examples

Just the right amount of Rails eager loading

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

An HTTP toolkit for security research.

For when people get too hyped up about things

⚡️ Znap! Fast, easy-to-use tools for Zsh dotfiles & plugins, plus git repos

Use ActiveRecord transactional callbacks outside of models, literally everywhere in your application.

Detect non-atomic interactions within DB transactions