-
Rakuten
- Tokyo, Japan
- https://www.egison.org/~egi/
Stars
- All languages
- APL
- Assembly
- Awk
- C
- C++
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Frege
- GAP
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Mathematica
- OCaml
- Objective-C
- PLpgSQL
- Perl
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- Yacc
For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.
canonical libwebsockets.org networking library
The atomic_ops project (Atomic memory update operations portable implementation)
PostgreSQL protocol gateway for Presto distributed SQL query engine
distribute and coordinate work using parallel processes (like GNU parallel, but much faster and memory-efficient)
Describe stencil formurae without even translating them
Programming language for symbolic computation with unusual combination of pattern matching features: Tree patterns, associative patterns and expressions embedded in patterns.
DEPRECATED - use libpg_query instead! https://github.com/lfittl/libpg_query
Describe stencil formurae without even translating them
Let's create you electric doorknob which can be opened/closed from the unix server.