- United Kingdom
-
05:23
(UTC +01:00) - https://effectful.js.org
- @vitalii_akimov
Stars
- All languages
- Agda
- Assembly
- Bluespec
- Boogie
- C
- C#
- C++
- Clojure
- CoffeeScript
- Coq
- Dhall
- Elixir
- Emacs Lisp
- F#
- F*
- Go
- Grammatical Framework
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Koka
- LLVM
- Mercury
- OCaml
- Oz
- PHP
- Pony
- Prolog
- Python
- R
- Racket
- Rocq Prover
- Rust
- SMT
- Sail
- Scala
- Scheme
- Standard ML
- TeX
- TypeScript
- Verilog
Official repository of Trino, the distributed SQL query engine for big data, formerly known as PrestoSQL (https://trino.io)
Automated testing to find logic and performance bugs in database systems
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.
Eclipse Layout Kernel - Automatic layout for Java applications.
Create and render web UIs in Java, SWT, Swing, JavaFX(coming soon), and Eclipse RCP applications.
Distributed Fine-Grained Finite State Machines with Kafka