Stars
- All languages
- Agda
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Cuda
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- GLSL
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- MLIR
- Markdown
- OCaml
- Objective-C
- Pascal
- PowerShell
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- TLA
- TeX
- TypeScript
- TypeSpec
- Vue
- Yacc
📚 Freely available programming books
This repo is the official home of .NET on GitHub. It's a great starting point to find many .NET OSS projects from Microsoft and the community, including many that are part of the .NET Foundation.
Solid - Re-decentralizing the web (project directory)
BELLE: Be Everyone's Large Language model Engine(开源中文对话大模型)
Course materials for the Data Science Specialization: https://www.coursera.org/specialization/jhudatascience/1
Curated list of resources on testing distributed systems
A living collection of deep learning problems
Probabilistic Modeling Toolkit for Matlab/Octave.
Public repository for course materials for the Data Science at Scale Specialization at Coursera
This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Experimentations with Abstract Machines