Into FP, Type Theory and Formal Verification. Former @cryspuwaterloo
Lists (13)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Agda
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Cuda
- D
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Less
- Lua
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Protocol Buffer
- PureScript
- Python
- Reason
- Ruby
- Rust
- Scala
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Vala
- Vim Script
- Vue
- WebAssembly
7
stars
written in CSS
Clear filter
Repository which contains links and resources on different topics of Computer Science.
Chrome extension and Express server that exploits keylogging abilities of CSS.