Lists (31)
Sort Name ascending (A-Z)
Amazon
Android
BenchHub
Blog
C++
Cloudflare
DB
DatabaseFlutter
Game
Go
Intellij
Interesting
Interview
iOS
iOS and macOSJava
JavaScript
k8s
KubernetesMap
ML
Machine LearningMonitoring
Network
OS
PL
PM
Python
React
Rust
Search
SQL
Tennis
X-Ray
Stars
- All languages
- ANTLR
- ActionScript
- ApacheConf
- Assembly
- Astro
- AutoIt
- Awk
- Ballerina
- C
- C#
- C++
- CMake
- CSS
- Chapel
- Clojure
- CoffeeScript
- ColdFusion
- Common Workflow Language
- Coq
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- FLUX
- GCC Machine Description
- Go
- Groovy
- HCL
- HTML
- Haskell
- JSON
- Java
- JavaScript
- Jinja
- Jsonnet
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- LiveScript
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Mathematica
- Mermaid
- Mojo
- Mustache
- Nim
- Nunjucks
- OCaml
- Objective-C
- Odin
- PHP
- PLpgSQL
- Perl
- PostScript
- Processing
- Prolog
- Pug
- Python
- R
- RPM Spec
- ReScript
- Reason
- Ren'Py
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- SVG
- Sass
- Scala
- Scheme
- Shell
- Starlark
- Svelte
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- WebAssembly
- Zig
- q
The easy-to-use open source Business Intelligence and Embedded Analytics tool that lets everyone work with data 📊
Penpot: The open-source design tool for design and code collaboration
A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: https://discuss.logseq.com/t/logseq-product-roadm…
A framework for distributed systems verification, with fault injection
Athens is no longer maintainted. Athens was an open-source, collaborative knowledge graph, backed by YC W21
Immutable database and Datalog query engine for Clojure, ClojureScript and JS
A network event stream processing system, in Clojure.
A workbench for writing toy implementations of distributed systems.
An immutable SQL database for application development, time-travel reporting and data compliance. Developed by @juxt
A fast, immutable, distributed & compositional Datalog engine for everyone.
Verifies the linearizability of experimentally accessible histories.