spacejam
Follow
internet denier
reliable stateful systems at scale
-
Pinecone
- Berlin
- http://tylerneely.com
- @sadisticsystems
Sponsors
Highlights
Stars
- All languages
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- Coq
- Crystal
- Cuda
- Dart
- Elixir
- Erlang
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- OCaml
- Prolog
- Python
- R
- Racket
- Reason
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- TLA
- TeX
- TypeScript
- Vim Script
- WebAssembly
- Zig
3
stars
written in Jupyter Notebook
Clear filter
Google Research
Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.
Precision Medicine Knowledge Graph (PrimeKG)