programming languages, formal verification, functional programming, game theory.
Lists (2)
Sort Name ascending (A-Z)
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Mathematica
- Motoko
- Nim
- Nix
- OCaml
- Objective-C
- Odin
- PHP
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SMT
- Scala
- ShaderLab
- Shell
- Smalltalk
- Solidity
- Standard ML
- Stylus
- Swift
- TeX
- TypeScript
- V
- Verilog
- WebAssembly
- Zig
Starred repositories
6
stars
written in Shell
Clear filter
Papers from the computer science community to read and discuss.
Everything required to run your own Base node
Create Customized Software using Natural Language Idea (through LLM-powered Multi-Agent Collaboration)
Rust Memory Container Cheat-sheet