natanielf's Stars
gopro/gpr
General Purpose Raw image format
spiffe/spiffe
The SPIFFE Project
riscv-software-src/riscv-isa-sim
Spike, a RISC-V ISA Simulator
coq/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.
actor-framework/actor-framework
An Open Source Implementation of the Actor Model in C++
pypy/pypy
PyPy is a very fast and compliant implementation of the Python language.
tinymce/tinymce
The world's #1 JavaScript library for rich text editing. Available for React, Vue and Angular
google/python-fire
Python Fire is a library for automatically generating command line interfaces (CLIs) from absolutely any Python object.
meta-llama/llama3
The official Meta Llama 3 GitHub site
git-learning-game/oh-my-git
An interactive Git learning game!
speced/bikeshed
:bike: A preprocessor for anyone writing specifications that converts source files into actual specs.
logisim-evolution/logisim-evolution
Digital logic design tool and simulator
mistralai/mistral-inference
Official inference library for Mistral models
Mobile-Artificial-Intelligence/maid
Maid is a cross-platform Flutter app for interfacing with GGUF / llama.cpp models locally, and with Ollama and OpenAI models remotely.
continuedev/continue
⏩ Continue enables you to create your own AI code assistant inside your IDE. Keep your developers in flow with open-source VS Code and JetBrains extensions
ggerganov/llama.cpp
LLM inference in C/C++
h2oai/h2ogpt
Private chat with local GPT with document, images, video, etc. 100% private, Apache 2.0. Supports oLLaMa, Mixtral, llama.cpp, and more. Demo: https://gpt.h2o.ai/ https://codellama.h2o.ai/
mudler/LocalAI
:robot: The free, Open Source OpenAI alternative. Self-hosted, community-driven and local-first. Drop-in replacement for OpenAI running on consumer-grade hardware. No GPU required. Runs gguf, transformers, diffusers and many more models architectures. It allows to generate Text, Audio, Video, Images. Also with voice cloning capabilities.
msys2/msys2-installer
The one-click installer for MSYS2
xai-org/grok-1
Grok open release
warpdotdev/Warp
Warp is a modern, Rust-based terminal with AI built in so you and your team can build great software, faster.
ColinIanKing/stress-ng
This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.
conan-io/conan
Conan - The open-source C and C++ package manager
vdumoulin/conv_arithmetic
A technical report on convolution arithmetic in the context of deep learning
onnx/turnkeyml
The AI insights toolchain
autokey/autokey
AutoKey, a desktop automation utility for Linux and X11.
gitbutlerapp/gitbutler
The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte
mRemoteNG/mRemoteNG
mRemoteNG is the next generation of mRemote, open source, tabbed, multi-protocol, remote connections manager.
zed-industries/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
dyne/frei0r
A large collection of free and portable video plugins