Repositories list

• coq

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

  OCaml

  •

  GNU Lesser General Public License v2.1

  •665•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• next.js

  Public
  Framework for server-rendered or statically-exported React apps

  JavaScript

  •

  MIT License

  •28k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• emscripten

  Public
  Emscripten: An LLVM-to-WebAssembly Compiler

  C++

  •

  Other

  •3.3k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• photoprism

  Public
  AI-Powered Photos App for the Decentralized Web 🌈💎✨

  Go

  •

  Other

  •2k•1•0•0•Updated Jan 29, 2025Jan 29, 2025

• tensorflow

  Public
  An Open Source Machine Learning Framework for Everyone

  C++

  •

  Apache License 2.0

  •74k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• Rocket.Chat

  Public
  Have your own Slack like online chat, built with Meteor.

  TypeScript

  •

  Other

  •11k•0•0•15•Updated Jan 29, 2025Jan 29, 2025

• CodeGPT

  Public
  A CLI written in Go language that writes git commit messages or do a code review brief for you using ChatGPT AI (gpt-4, gpt-3.5-turbo model) and automatically installs a git prepare-commit-msg hook.

  Go

  •

  MIT License

  •119•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• supabase

  Public
  The open source Firebase alternative. Follow to stay updated about our public Beta.

  TypeScript

  •

  Apache License 2.0

  •7.6k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• cal.com

  Public
  Scheduling infrastructure for absolutely everyone.

  TypeScript

  •

  Other

  •8.5k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• Trumbowyg

  Public
  A lightweight and amazing WYSIWYG JavaScript editor - 20kB only (8kB gzip)

  JavaScript

  •

  MIT License

  •615•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• cypress

  Public
  Fast, easy and reliable testing for anything that runs in a browser.

  JavaScript

  •

  MIT License

  •3.2k•0•0•2•Updated Jan 29, 2025Jan 29, 2025

• caddy

  Public
  Fast, multi-platform web server with automatic HTTPS

  Go

  •

  Apache License 2.0

  •4.2k•1•0•0•Updated Jan 29, 2025Jan 29, 2025

• openproject

  Public
  OpenProject is the leading open source project management software.

  Ruby

  •

  GNU General Public License v3.0

  •2.4k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• ffsend

  Public
  📬 Easily and securely share files from the command line. A fully featured Firefox Send client.

  Rust

  •

  GNU General Public License v3.0

  •189•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• Pixelorama

  Public
  A free & open-source 2D sprite editor, made with the Godot Engine! Available on Windows, Linux, macOS and the Web!

  GDScript

  •

  MIT License

  •399•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• deno

  Public
  A modern runtime for JavaScript and TypeScript.

  Rust

  •

  MIT License

  •5.5k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• PHP-DI

  Public
  The dependency injection container for humans

  PHP

  •

  MIT License

  •325•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• go

  Public
  The Go programming language

  Go

  •

  BSD 3-Clause "New" or "Revised" License

  •18k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• v

  Public
  Simple, fast, safe, compiled language for developing maintainable software. Supports translation from C and (soon) C++. Compiles itself in <1s.

  V

  •

  MIT License

  •2.2k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• qwik

  Public
  The HTML-first framework. Instant apps of any size with ~ 1kb JS

  TypeScript

  •

  MIT License

  •1.3k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• three.js

  Public
  JavaScript 3D library.

  JavaScript

  •

  MIT License

  •36k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• godot

  Public
  Godot Engine – Multi-platform 2D and 3D game engine

  C++

  •

  MIT License

  •22k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• terminal

  Public
  The new Windows Terminal and the original Windows console host, all in the same place!

  C++

  •

  MIT License

  •8.4k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• ccxt

  Public
  A JavaScript / Python / PHP cryptocurrency trading API with support for more than 120 bitcoin/altcoin exchanges

  Python

  •

  MIT License

  •7.7k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• excalidraw

  Public
  Virtual whiteboard for sketching hand-drawn like diagrams

  TypeScript

  •

  MIT License

  •8.7k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• strapi

  Public
  🚀 Open source Node.js Headless CMS to easily build customisable APIs

  JavaScript

  •

  Other

  •8.3k•0•0•5•Updated Jan 29, 2025Jan 29, 2025

• goa

  Public
  Design-based APIs and microservices in Go

  Go

  •

  MIT License

  •566•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• FFmpeg

  Public
  Mirror of https://git.ffmpeg.org/ffmpeg.git

  C

  •

  Other

  •12k•0•0•0•Updated Jan 29, 2025Jan 29, 2025

• LocalAI

  Public
  🤖 Self-hosted, community-driven, local OpenAI-compatible API. Drop-in replacement for OpenAI running LLMs on consumer-grade hardware. No GPU required. LocalAI is a RESTful API to run ggml compatible models: llama.cpp, alpaca.cpp, gpt4all.cpp, rwkv.cpp, whisper.cpp, vicuna, koala, gpt4all-j, cerebras and many others!

  Go

  •

  MIT License

  •2.2k•0•0•0•Updated Jan 28, 2025Jan 28, 2025

• neovim

  Public
  Vim-fork focused on extensibility and usability

  Vim Script

  •

  Other

  •5.8k•0•0•0•Updated Jan 28, 2025Jan 28, 2025