Praki Prakash (MonadicT)

MonadicT

Geek Repo

Location:San Francisco Bay Area

Github PK Tool:Github PK Tool

Praki Prakash's starred repositories

shotglass

Tools to visualize large code bases in different ways.

Language:Jupyter NotebookLicense:MITStargazers:21Issues:0Issues:0

DaoFP

The Dao of Functional Programming

Language:TeXStargazers:284Issues:0Issues:0

pycse

Python computations in science and engineering

Language:HTMLLicense:GPL-2.0Stargazers:235Issues:0Issues:0

tikz_favorites

collection of favorite TikZ graphics

Language:TeXStargazers:178Issues:0Issues:0

stgi

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

Language:HaskellLicense:NOASSERTIONStargazers:516Issues:0Issues:0

packages

Haskus packages

Language:HaskellStargazers:24Issues:0Issues:0
Language:HaskellStargazers:1Issues:0Issues:0

challenge

Strongly-typed System F in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:113Issues:0Issues:0

Expresso

A simple expressions language with polymorphic extensible row types.

Language:HaskellLicense:NOASSERTIONStargazers:300Issues:0Issues:0

row-polymorphism

Example row-polymorphism implementations

Language:HaskellStargazers:59Issues:0Issues:0

stratosphere

Haskell EDSL and type-checker for AWS CloudFormation templates

Language:HaskellLicense:MITStargazers:162Issues:0Issues:0

tufte-latex

A Tufte-inspired LaTeX class for producing handouts, papers, and books

Language:TeXStargazers:1638Issues:0Issues:0

luz-cpu

Educational open-source CPU suite (with assembler, linker and simulator)

Language:PythonLicense:UnlicenseStargazers:154Issues:0Issues:0

simple-binary-encoding

Simple Binary Encoding (SBE) - High Performance Message Codec

Language:JavaLicense:Apache-2.0Stargazers:3035Issues:0Issues:0

clara-rules

Forward-chaining rules in Clojure(Script)

Language:ClojureLicense:Apache-2.0Stargazers:1185Issues:0Issues:0