Lists (16)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- ASP
- ActionScript
- Ada
- Assembly
- Batchfile
- Bicep
- Bikeshed
- Bluespec
- Boogie
- C
- C#
- C++
- CSS
- Chapel
- Common Lisp
- Component Pascal
- Coq
- Cuda
- D
- Dart
- Dockerfile
- Emacs Lisp
- Flix
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- M
- M4
- MLIR
- Makefile
- Markdown
- Modula-2
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- PHP
- POV-Ray SDL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- SaltStack
- Scala
- Scheme
- Shell
- Smali
- Smalltalk
- Swift
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- XSLT
- Zig
Starred repositories
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
UNIX-like reverse engineering framework and command-line toolset
☕ SonarSource Static Analyzer for Java Code Quality and Security
A machine learning compiler for GPUs, CPUs, and ML accelerators
SonarSource Static Analyzer for JavaScript and TypeScript
Thunderbird for Android – Open Source Email App for Android (fka K-9 Mail)
Jitsi Meet - Secure, Simple and Scalable Video Conferences that you use as a standalone app or embed in your web application.
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
A virtual machine for executing programs written in Hack.
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
Private AI platform for agents, assistants and enterprise search. Built-in Agent Builder, Deep research, Document analysis, Multi-model support, and API connectivity for agents.
A platform for community discussion. Free, open, simple.
🦜🔗 The platform for reliable agents.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
沉浸式双语网页翻译扩展 , 支持输入框翻译, 鼠标悬停翻译, PDF, Epub, 字幕文件, TXT 文件翻译 - Immersive Dual Web Page Translation Extension
Industry leading face manipulation platform
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
OpenVINO™ is an open source toolkit for optimizing and deploying AI inference
🐘 SonarPHP: PHP static analyzer for SonarQube & SonarLint
Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
libavif - Library for encoding and decoding .avif files