-
Lean FRO
- Munich, Germany
-
05:38
(UTC +02:00)
- All languages
- Agda
- Assembly
- Bikeshed
- Bluespec
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- F*
- Gnuplot
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jinja
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Markdown
- Nim
- Nix
- OCaml
- Odin
- OpenSCAD
- PHP
- Perl
- Prolog
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Sail
- Scala
- Shell
- Swift
- SystemVerilog
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Typst
- Verilog
- Vim Script
- Vue
- WebAssembly
- YASnippet
- reStructuredText
Starred repositories
An opinionated list of Python frameworks, libraries, tools, and resources
FastAPI framework, high performance, easy to learn, fast to code, ready for production
🏡 Open source home automation that puts local control and privacy first.
The Python micro framework for building web applications.
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy and maintain. Automate everything from code deployment to network configuration to clo…
openpilot is an operating system for robotics. Currently, it upgrades the driver assistance system on 300+ supported cars.
Clone a voice in 5 seconds to generate arbitrary speech in real-time
Ultralytics YOLOv5 in PyTorch > ONNX > CoreML > TFLite
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
A community-supported supercharged document management system: scan, index and archive all your documents
A toolkit for developing and comparing reinforcement learning algorithms.
The OWASP Cheat Sheet Series was created to provide a concise collection of high value information on specific application security topics.
The fundamental package for scientific computing with Python.
Data validation using Python type hints
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.
Code for the paper "Language Models are Unsupervised Multitask Learners"
Automated Nginx Reverse Proxy for Docker
Open source UI framework written in Python, running on Windows, Linux, macOS, Android and iOS
A Deep Learning based project for colorizing and restoring old images (and video!)
SpiderFoot automates OSINT for threat intelligence and mapping your attack surface.
OpenAI Baselines: high-quality implementations of reinforcement learning algorithms
Deduplicating archiver with compression and authenticated encryption.
Modular visual interface for GDB in Python
An educational resource to help anyone learn deep reinforcement learning.