Stars
- All languages
- AGS Script
- Agda
- Assembly
- Batchfile
- Bicep
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Fortran
- Frege
- GAP
- GDScript
- Gleam
- Go
- Groovy
- HCL
- HTML
- Hack
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- Makefile
- Markdown
- Mathematica
- Max
- Mustache
- Nix
- OCaml
- Objective-C
- OpenEdge ABL
- PHP
- PLpgSQL
- PostScript
- PowerShell
- Prolog
- Python
- QML
- R
- RMarkdown
- Racket
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Smarty
- Solidity
- Standard ML
- Svelte
- Swift
- TLA
- TeX
- TypeScript
- VBScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- XSLT
- Yacc
- Zig
- jq
The Open Source AI-Powered Code Editor. A fork of VSCode and Continue.
Build smaller, faster, and more secure desktop applications with a web frontend.
Dermatology ddx dataset, Jax implementations of Monte Carlo conformal prediction, plausibility regions and statistical annotation aggregation from our recent work on uncertain ground truth (TMLR'23…
A professionally curated list of awesome Conformal Prediction videos, tutorials, books, papers, PhD and MSc theses, articles and open-source libraries.
Dual grid tilemap system converted from jess::codes' C# repo into native GDScript
Compositional Verification of Composite Byzantine Protocols
Linux virtual machines, with a focus on running containers
A functional programming language with shell scripting capabilities
Making Docker and Kubernetes management easy.
Open-source high-performance RISC-V processor
Distributed transactional key-value database, originally created to complement TiDB
An OCaml inspired standard library for TypeScript
Meaningful control of data in distributed systems.
A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal com…
A high-performance observability data pipeline.
DuckDB-powered Postgres for high performance apps & analytics.
A C++20 library for sequence-orientated programming
Open-source IoT Platform - Device management, data collection, processing and visualization.
A web browser that plays old world blues to build new world hope
Libraries, samples and tools to help Go developers develop AWS Lambda functions.
this repository accompanies the book "Grokking Deep Learning"