![cpp logo](https://raw.githubusercontent.com/github/explore/180320cffc25f4ed1bbdfd33d4db3a66eeeeb358/topics/cpp/cpp.png)
🐉
There are 10 types of people in this world. Those that understand binary, and those that don't.
Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Chapel
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Erlang
- FreeMarker
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Less
- Lua
- Makefile
- Markdown
- Nim
- Nix
- Prolog
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Solidity
- Swift
- TLA
- TeX
- TypeScript
- Vim Script
- Vue
- WebAssembly
- Wikitext
- Zig
Starred repositories
2
stars
written in Coq
Clear filter
0zAND1z / dry-analyzer
Forked from pirapira/dry-analyzerDr. Y's Ethereum Contract Analyzer