-
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)
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.