Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- APL
- ATS
- Ada
- Agda
- Arc
- Assembly
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dhall
- Dockerfile
- Dylan
- Elixir
- Emacs Lisp
- F#
- F*
- Factor
- Flix
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- M
- MATLAB
- MLIR
- Makefile
- Markdown
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C
- Pascal
- Perl
- PicoLisp
- PostScript
- PowerShell
- Prolog
- Python
- Racket
- ReScript
- Rez
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- WebAssembly
- Zig
🎓 Path to a free self-taught education in Computer Science!
《神经网络与深度学习》 邱锡鹏著 Neural Network and Deep Learning
Repository for the book "Crafting Interpreters"
Companion webpage for the book "Bayesian Optimization" by Roman Garnett
Various data formats for the SPDX License List including RDFa, HTML, Text, and JSON
Foundations of Functional Programming in Scala is a comprehensive, self-paced online course with no prerequisites, which helps you to become a confident, productive, and powerful functional Scala d…
This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Madoko is a fast markdown processor for high quality academic and technical articles
Verify naive = datafrog-opt, in rust/polonius