- Vancouver, BC
- All languages
- ANTLR
- Agda
- Assembly
- Awk
- BQN
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- Common Lisp
- Coq
- D
- Dhall
- Elixir
- Emacs Lisp
- Erlang
- F*
- Factor
- Flix
- Forth
- GAP
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- M4
- Makefile
- Markdown
- Nim
- OCaml
- Objective-C
- Pascal
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SMT
- Sail
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
Starred repositories
Apache Beam is a unified programming model for Batch and Streaming data processing.
A new data structure for accurate on-line accumulation of rank-based statistics such as quantiles and trimmed means
XPrivacy - The ultimate, yet easy to use, privacy manager
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
SirixDB is an an embeddable, bitemporal, append-only database system and event store, storing immutable lightweight snapshots. It keeps the full history of each resource. Every commit stores a spac…
Nethugging client for Android, from wigle.net
A Simple showcase for the Sea-of-Nodes compiler IR
Old v1 repo, please see http://github.org/telehash now.
The simplest convenient interface to the Google Cloud Datastore
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Datalog with support for SMT queries and first-order functional programming
THIS REPOSITORY IS NO LONGER MAINTAINED. IT HAS BEEN COMPLETELY REPLACED BY https://github.com/PARC/CCNx_Distillery
Library for symbolic automata and symbolic visibly pushdown automata
Common Index File Format to to support interoperability between open-source IR engines