Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- Ada
- Assembly
- AutoIt
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Dart
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Hy
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mathematica
- Mercury
- Nix
- PowerShell
- Python
- QML
- Roff
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Zig
Tool for partial deblobbing of Intel ME/TXE firmware images
Geziyor, blazing fast web crawling & scraping framework for Go. Supports JS rendering.
Extra mathematical algorithms and data types for Golang
A first-order concurrent automated theorem prover
A command line interface for The Pirate Bay
The Mercury logic programming system.
An experimental computer algebra system written in Go
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
The Go+ programming language is designed for engineering, STEM education, and data science. Our vision is to enable everyone to become a builder of the digital world.
A Go compiler based on LLVM in order to better integrate Go with the C ecosystem including Python
HardenedBSD / trinity
Forked from kernelslacker/trinityLinux system call fuzzer
Hunt down social media accounts by username across social networks
QUIC, a multiplexed stream transport over UDP
An Open Source Machine Learning Framework for Everyone
Model components of the Llama Stack APIs
Cross platform GUI toolkit in Go inspired by Material Design