egisatoshi

egisatoshi's Stars

• rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust

  Language:Rust18.6k1221.3k1.7k

• py-why/dowhy

  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 graphical models and potential outcomes frameworks.

  Language:Python7.2k140482936

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean4.8k632k434

• textlint/textlint

  The pluggable natural language linter for text and markdown.

  Language:TypeScript2.9k39417157

• DanielKeep/tlborm

  The Little Book of Rust Macros

  Language:Rust888232197

• BNFC/bnfc

  BNF Converter

  Language:TeX58820316164

• write-you-a-scheme-v2/scheme

  Write You a Scheme

  Language:Haskell5572618114

• stevenliuyi/covid19

  an interactive, animated COVID-19 coronavirus map to track the outbreak over time by country and by region for selected countries

  Language:JavaScript324224396

• hishamhm/userland-prototype

  Proof-of-concept prototype for Userland

  Language:Lua1571486

• owo-lang/minitt-rs

  Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

  Language:Rust11610223

• andreasabel/miniagda

  A prototypical dependently typed languages with sized types and variances

  Language:Haskell104734

• konn/computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell

  Language:HTML921469

• yutayamamoto/pdfoutline

  A command line tool for adding an outline to pdf files

  Language:Python921516

• mit-plv/timl

  TiML: A Functional Programming Language with Time Complexity

  Language:Standard ML751226

• spl/dlist

  Difference lists in Haskell

  Language:Haskell6563215

• dhess/rabbit-scheme

  Guy Steele's RABBIT Scheme compiler

  59503

• sagemanifolds/SageManifolds

  Jupyter notebooks and documentation for SageManifolds

  Language:Jupyter Notebook501279

• leptonyu/tensors

  Tensors in Haskell

  Language:Haskell40453

• webyrd/scheme-primer

  Interactive Scheme Primer, written in Scheme.

  Language:Scheme22501

• ashinkarov/cnn-in-apl

  CNN in APL

  Language:APL21214

• yigitozkavci/parquet-hs

  Read parquet format with Haskell

  Language:Haskell18883

• egison/sweet-egison

  Haskell library for non-deterministic pattern matching

  Language:Haskell17511

• sconybeare/mltt

  Implementation of Martin-Löf Type Theory in Haskell

  Language:Haskell16302

• egison/backtracking

  Backtracking monad in Haskell

  Language:Haskell14400

• pi8027/formalized-postscript

  PostScript programming in the Coq proof assistant

  Language:Coq12301

• sebfisch/level-monad

  Non-Determinism Monad for Level-Wise Search

  Language:Haskell7404

• Tipoca/scmutils

  Scheme Classical Mechanics utilities from Gerald Jay Sussman, as found at http://groups.csail.mit.edu/mac/users/gjs/6946/ and mit-scheme distribution removed.

  Language:Scheme7104

• egison/egison-pattern-src

  Manipulating Egison patterns: abstract syntax, parser, and pretty-printer

  Language:Haskell5424

• egison/egison-prover

  Proof writing language with Egison pattern matching

  Language:Haskell340

• Junology/linkedgram

  Drawing Link Projection Diagrams

  Language:Haskell2