-
University of British Columbia
- Hisui
- https://toki.la
- https://codeberg.org/apropos
- https://codeberg.org/apropos
- https://codeberg.org/apropos
Lists (23)
Sort Name ascending (A-Z)
ai
archival
ctf
cursed
cute
embedded
games
graphics
langdev
languages
lean
libraries
linear algebra
linguistics
linux
networks
nim
other
proof
rust
switch
types
web
- All languages
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Flix
- Forth
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- Lua
- MDX
- Meson
- Nearley
- Nim
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- SystemVerilog
- TeX
- TypeScript
- Typst
- Vue
- WebAssembly
- Zig
- xBase
Starred repositories
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
I2P is an anonymizing network, offering a simple layer that identity-sensitive applications can use to securely communicate. All data is wrapped with several layers of encryption, and the network i…
Modern Java decompiler aiming to be as accurate as possible, with an emphasis on output quality. Fork of the Fernflower decompiler.
Elegant parsing in Java and Scala - lightweight, easy-to-use, powerful.
Ghidra Wasm plugin with disassembly and decompilation support
Generator of Turing Machines that run on Java generic types
A guide for FIRST Robotics development, specifically targeted for FRC use.