egisatoshi

egisatoshi's Stars

• JoshuaKGoldberg/Old-Deleted-FullScreenMario

  An HTML5 remake of the original Super Mario Brothers - expanded for wide screens.

  3k197105886

• mdo/github-buttons

  Showcase the success of any GitHub repo or user with these simple, static buttons with dynamic counts.

  Language:JavaScript2.9k5383267

• leo-project/leofs

  The LeoFS Storage System

  Language:Erlang1.6k85986155

• niklasso/minisat

  A minimalistic and high-performance SAT solver

  Language:C++1k4926398

• egison/egison

  The Egison Programming Language

  Language:Haskell9134515632

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++83028620185

• darkoperator/Metasploit-Plugins

  Plugins for Metasploit Framework

  Language:Ruby4333913115

• khibino/haskell-relational-record

  This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.

  Language:Haskell233253936

• ekmett/ersatz

  A monad for interfacing with external SAT solvers

  Language:Haskell64135615

• IreneKnapp/direct-sqlite

  Language:C3574253

• cyokodog/jquery.ex-code-prettify

  Google Code Prettify にその場で実行機能を付加した jQuery プラグイン

  Language:JavaScript12300

• alpicola/vim-egison

  Language:Vim Script8301

• xenophobia/Egison-Quote

  Quasi quotes for Egison expression

  Language:Haskell7260

• jstepien/qudb

  Quite Useless DB

  Language:Haskell5401

• alpicola/scheme-in-48-hours

  Language:Haskell4200

• tomoasleep/try-egison

  Interactive online Egison repl

  Language:CoffeeScript3400

• egisatoshi/website

  Website of Satoshi Egi

  Language:HTML220

• xenophobia/haegiell

  Evolved Haskell with Egisonic pattern-matching

  Language:Haskell2230