A high performance matcher designed to solve AND OR NOT logical word matching and TEXT VARIATIONS problems. - Lips7/Matcher

Kani Rust Verifier. Contribute to model-checking/kani development by creating an account on GitHub.

Contribute to AutoMQ/kafka-provider-comparison development by creating an account on GitHub.

A collection of scripts that I've written and refined over the years - linux4ever07/scripts

A decentralized filesystem. Contribute to chumpro/ArchiveCache development by creating an account on GitHub.

This is the repo for the DevDojo Auth package. Contribute to thedevdojo/auth development by creating an account on GitHub.

osr is a memory efficient multi-mode OpenStreetMap router - motis-project/osr

A no-frills time tracking toolkit for command line nerds - dhth/hours

Checks one's Release Radar for new releases and creates playlists for each one - McCambley/releases

JSX + React ⚛
Framework now supports JSX rendered with React, 🎉 providing a powerful new mechanism for implementing reusable stateful components. You can both write fenced code blocks (```jsx) and ...

Contribute to bachmitre/hacker-news-highlighter development by creating an account on GitHub.

A Python framework for accelerated simulation, data generation and spatial computing. - NVIDIA/warp

Securely encrypt and decrypt files locally from a web browser - Exact-Realty/ts-cms-ep-sfx

AI management and development platform. Self-host AI models and build apps with them. - singulatron/singulatron

port of Andrjey Karpathy's llm.c to Mojo. Contribute to dorjeduck/llm.mojo development by creating an account on GitHub.

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement - sosy-lab/benchexec

The Evolution of a Go Programmer. Contribute to smallnest/the-evolution-of-a-go-programmer development by creating an account on GitHub.

PLAY THE LIVE GAME HERE! 🔽. Contribute to opensouls/milton-is-trapped development by creating an account on GitHub.

Small POC to predict game outcomes of the 2024 European Championship using GPT-4o and sportmonks football API. - GitHub - chrisby/SoccerGPT: Small POC to predict game outcomes of the 2024 European...