-
Rakuten and UTokyo
- Tokyo, Japan
- https://www.egison.org/~egi/
Block or Report
Block or report egisatoshi
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Proof writing language with Egison pattern matching
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http:https://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.
General-Purpose Computer Algebra System as an EDSL in Haskell
TiML: A Functional Programming Language with Time Complexity
A prototypical dependently typed languages with sized types and variances
Create book from markdown files. Like Gitbook but implemented in Rust
Jupyter notebooks and documentation for SageManifolds
A command line tool for adding an outline to pdf files
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…
Interactive Scheme Primer, written in Scheme.
PostScript programming in the Coq proof assistant
an interactive, animated COVID-19 coronavirus map to track the outbreak over time by country and by region for selected countries
Implementation of Martin-Löf Type Theory in Haskell
Haskell library for non-deterministic pattern matching
Manipulating Egison patterns: abstract syntax, parser, and pretty-printer
The pluggable natural language linter for text and markdown.
Lean 4 programming language and theorem prover