Pinned Repositories
aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
CRS-Projection
Use Webpack and proj4 library to project points into whatever projection you need
gallopjs
GLL parser combinator library, written in ES2015.
mdtl
A minimal dependently-typed language
heptahedron's Repositories
heptahedron/gallopjs
GLL parser combinator library, written in ES2015.
heptahedron/mdtl
A minimal dependently-typed language
heptahedron/aiohttp
Asynchronous HTTP client/server framework for asyncio and Python
heptahedron/CRS-Projection
Use Webpack and proj4 library to project points into whatever projection you need
heptahedron/extract-loader
webpack loader to extract HTML and CSS from the bundle
heptahedron/groupme-markov
Simple Markov bot that can imitate users in a group.
heptahedron/idris-binary-rationals
An idris rational number type built from paths in the Stern Brocot tree
heptahedron/imitator-service
Rust HTTP API to store messages from users and generate stupid imitations of them
heptahedron/jor1k
Online OR1K Emulator running Linux
heptahedron/odbc
Haskell ODBC binding with SQL Server support
heptahedron/OpenAPI-Specification
The OpenAPI Specification Repository
heptahedron/purescript-prelude
The PureScript Prelude
heptahedron/rs21-capability-demo
Simple data visualizations using data obtained from Albuquerque
heptahedron/slackers-and-slayers
Chatbot for mini-RPGs.
heptahedron/sysbuild
A system programming learning environment in the browser
heptahedron/tf-idf
A simple implementation of the tf-idf document relevance measure, useful for search engines and information retrieval.
heptahedron/topbloc-code-test
Simple excel sheet parser to display basic proficiency with Java for TopBloc job application.
heptahedron/vinyl-json
JSON record types, to be used with Vinyl.