tomgi

followers

following

stars

Certsy

Melbourne, Australia

Tomasz Gieniusz's starred repositories

statesman

A statesmanlike state machine library.

Language:RubyMIT176400

crystalruby

Embed Crystal code directly in Ruby

Language:RubyMIT59500

gleam

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

Language:RustApache-2.01691800

OpenGFW

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

Language:GoMPL-2.0932400

magika

Detect file content types with deep learning

Language:RustApache-2.0762200

orbitron

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

Language:TypeScriptISC600

bloop

bloop is a fast code search engine written in Rust.

Language:RustApache-2.0933600

security-research

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

Language:CApache-2.0319400

gpt-researcher

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

Language:PythonMIT1342900

quivr

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, VertexAI, Ollama, LLMs, Groq that you can share with users ! Efficient retrieval augmented generation framework

Language:PythonNOASSERTION3445500

cognitive-load

🧠 Cognitive Load is what matters

CC-BY-4.0327400

coq

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 development of machine-checked proofs.

Language:OCamlLGPL-2.1473800

gpt-engineer

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

Language:PythonMIT5154500

todo_or_die

Write TODOs in code that ensure you actually do them

Language:RubyMIT34000

AudioGPT

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

Language:PythonNOASSERTION991500

JARVIS

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

Language:PythonMIT2343800

good_job

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

Language:RubyMIT256600

chezmoi

Manage your dotfiles across multiple diverse machines, securely.

Language:GoMIT1246700

falcon

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

Language:RubyMIT256000

quine-relay

An uroboros program with 100+ programming languages

Language:Ruby1391800

UTM

Virtual machines for iOS and macOS

Language:SwiftApache-2.02579300

ButtFish

Effortlessly transmitting Morse Code of chess moves to your butthole 💝

Language:C#142700

MarkovJunior

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

Language:C#MIT694000

goldiloader

Just the right amount of Rails eager loading

Language:RubyMIT156400

bun

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

Language:ZigNOASSERTION7242500

hetty

An HTTP toolkit for security research.

Language:GoMIT602300

awesome-cold-showers

For when people get too hyped up about things

NOASSERTION726300

zsh-snap

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

Language:ShellMIT128900

after_commit_everywhere

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

Language:RubyMIT68000

isolator

Detect non-atomic interactions within DB transactions

Language:RubyMIT85100