objecting to features
- 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
10
stars
written in Ruby
Clear filter
Effing package management! Build packages for multiple platforms (deb, rpm, etc) with great ease and sanity.
GitHub Issues on the command line. Use your $EDITOR, not your browser.
CPU-optimized Neural Machine Translation models for Firefox Translations
An executable specification of the RISCV ISA in L3.
MCTS algorithm tutorial and it's explanation with code. Application of MCTS to create A.I for simple game.