egisatoshi

egisatoshi's Stars

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust100k1.5k56k13k

• nushell/nushell

  A new type of shell

  Language:Rust33.3k1906k1.7k

• oracle/graal

  GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

  Language:Java20.5k4674.3k1.7k

• cisco/ChezScheme

  Chez Scheme

  Language:Scheme7k355530985

• solodon4/Mach7

  Functional programming style pattern-matching library for C++

  Language:C++1.3k655778

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris9016018557

• Idein/py-videocore

  Python library for GPGPU on Raspberry Pi

  Language:Python796831389

• ghc-proposals/ghc-proposals

  Proposed compiler and language changes for GHC and GHC/Haskell

  Language:Python68713389272

• commercialhaskell/stackage

  Stable Haskell package sets: vetted consistent packages from Hackage

  Language:Dockerfile536233.1k805

• miniKanren/miniKanren

  Canonical miniKanren implementation

  Language:Scheme35317331

• ekmett/cadenza

  every day i'm truffling

  Language:Kotlin671022

• Barry-Jay/bondi

  source code for the bondi programming language

  Language:OCaml395312

• shnarazk/mios

  A SAT solver written in Haskell.

  Language:Haskell395254

• kino3/Mini-TT

  mirror of A simple type-theoretic language: Mini-TT

  Language:Haskell38326

• RKX1209/c3

  The C3, SMT/SAT solver written in C.

  Language:C34305

• nyuichi/satysfi-base

  complementary collection of useful functions and modules for SATySFi

  Language:JavaScript3183311

• rain-1/chez-match

  A pattern match macro for chez-scheme

  Language:Scheme193

• kowainik/first-class-patterns

  First class patterns and pattern matching, using type families

  Language:Haskell1796

• nyuichi/yabai-sat

  sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simplification + literal block distance

  Language:C++15312

• minoki/unboxing-vector

  A newtype-friendly wrapper for Data.Vector.Unboxed

  Language:Haskell6201

• momohatt/egison-trs

  Knuth-Bendix completion in Egison (and Haskell). 技術書典7

  Language:Haskell6410

• akawashiro/formalized-egison

  Language:Coq5400

• pirapira/neta

  neta notes

  Language:HTML530

• Deducteam/Libraries

  A collection of hand-written files for Dedukti

  Language:Makefile4522

• momohatt/egison-sandbox

  Pieces of code written in Egison

  4300

• uenoku/egison-smt

  SMT solver in Egison

  3201

• akawashiro/masters-thesis

  Language:TeX230

• egison/pmo-paper

  Tutorial paper of pattern-matching-oriented programming

  Language:TeX250

• egisatoshi/macro-paper

  Language:TeX120

• kentaro-honda/egison-quine-mccluskey

  Egison Implementation of Quine-McCluskey method

  1000