Lists (11)
Sort Name ascending (A-Z)
Stars
- All languages
- ANTLR
- ATS
- Agda
- Arc
- Arduino
- Assembly
- Awk
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dart
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Frege
- Gherkin
- Go
- Groovy
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- Macaulay2
- Makefile
- Mercury
- Nemerle
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Oz
- PHP
- Parrot
- Pascal
- Perl
- PostScript
- Protocol Buffer
- PureScript
- Python
- R
- Racket
- Raku
- Ruby
- Rust
- SWIG
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Tcl
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- XSLT
- Yacc
- wisp
Free (as in freedom) open source clone of the Age of Empires II engine 🚀
A gently curated list of companies using verification formal methods in industry
Freeciv is a Free and Open Source empire-building strategy game inspired by the history of human civilization. Upstream repository for the standalone Freeciv client and server. Report bugs and subm…
Read-only mirror of https://gitlab.gnome.org/GNOME/gimp
nomacs is a free image viewer for windows, linux, and mac systems.
Git mirror of the 0 A.D. source code (https://trac.wildfiregames.com/browser)
A User-Agent spoofer browser extension that is highly configurable
Depth-Aware Video Frame Interpolation (CVPR 2019)
The official Python library for the OpenAI API
18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.
Audiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable…
Compile fonts from sources (UFO, Glyphs) to binary (OpenType, TrueType).
Source Han Code JP | 源ノ角ゴシック Code
Monospaced font family for user interface and coding environments
Source Han Serif | 思源宋体 | 思源宋體 | 思源宋體 香港 | 源ノ明朝 | 본명조
Source Han Mono | 思源等宽 | 思源等寬 | 思源等寬 香港 | 源ノ等幅 | 본모노
Source Han Sans | 思源黑体 | 思源黑體 | 思源黑體 香港 | 源ノ角ゴシック | 본고딕
Social networking technology created by Bluesky
12 Weeks, 24 Lessons, AI for All!
Infinite Photorealistic Worlds using Procedural Generation
🔊 Text-Prompted Generative Audio Model
Stable Diffusion web UI