-
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
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TeX
- TypeScript
- Vim Script
- Yacc
🍻 Default formulae for the missing package manager for macOS (or Linux)
The open and composable observability and data visualization platform. Visualize metrics, logs, and traces from multiple sources like Prometheus, Loki, Elasticsearch, InfluxDB, Postgres and many mo…
The official home of the Presto distributed SQL query engine for big data
Lean 4 programming language and theorem prover
Open source RabbitMQ: core server and tier 1 (built-in) plugins
p5.js is a client-side JS platform that empowers artists, designers, students, and anyone to learn to code and express themselves creatively on the web. It is based on the core principles of Proces…
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…
DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphic…
Empowering everyone to build reliable and efficient software.
OpenFOAM Foundation development repository
Apache Superset is a Data Visualization and Data Exploration Platform
GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀
Small, fast, modern HTTP server for Erlang/OTP.
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.
Stable Haskell package sets: vetted consistent packages from Hackage
Elixir is a dynamic, functional language for building scalable and maintainable applications
A general dispatch and override mechanism for Python.
A tool for use with clang to analyze #includes in C and C++ source files
Unsupervised text tokenizer for Neural Network-based text generation.
textlint is the pluggable linter for natural language text.