Pinned Repositories
Brainfuck
Small Python Brainfuck interpreter and text-encoder.
Fun
Interpreter(s) for prototyping evaluation/typing rules.
haddock
Haskell Documentation Tool
inline-rust
Use snippets of Rust inline in your Haskell programs
language-rust
Parser and pretty-printer for the Rust language
pretty-ghci
Functionality for beautifying GHCi
regex-automata
DFA-based regex on the JVM (slow compile, hopefully fast execution)
wasm2jar
Convert a web assembly module into a JVM JAR
harpocrates's Repositories
harpocrates/inline-rust
Use snippets of Rust inline in your Haskell programs
harpocrates/language-rust
Parser and pretty-printer for the Rust language
harpocrates/pretty-ghci
Functionality for beautifying GHCi
harpocrates/wasm2jar
Convert a web assembly module into a JVM JAR
harpocrates/blob-wars
An Elm clone of an old flash game I miss
harpocrates/scala-java-records-benchmark
Compare Scala case class to Java record
harpocrates/fgl-scala
Manipulate an immutable graph type (based on Haskell's `fgl`)
harpocrates/haddock
Haskell Documentation Tool
harpocrates/regex-automata
DFA-based regex on the JVM (slow compile, hopefully fast execution)
harpocrates/akka
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
harpocrates/akka-http
The Streaming-first HTTP server/module of Akka
harpocrates/akka-stream-contrib
Add-ons to Akka Stream
harpocrates/alacritty
A cross-platform, GPU-accelerated terminal emulator
harpocrates/copy-subset
harpocrates/dotty
The Scala 3 compiler, also known as Dotty.
harpocrates/endpoints
Scala library to define HTTP-based communication protocols
harpocrates/enumset-benchmark
harpocrates/flatbuffers
FlatBuffers: Memory Efficient Serialization Library
harpocrates/happy
The Happy parser generator for Haskell
harpocrates/mapdb
MapDB provides concurrent Maps, Sets and Queues backed by disk storage or off-heap-memory. It is a fast and easy to use embedded Java database engine.
harpocrates/playframework
Play Framework
harpocrates/quine
Quine - a streaming graph - https://quine.io/
harpocrates/sample-docs-project
Testing a docs toolchain
harpocrates/sbt-ghpages
git, site and ghpages support for sbt projects.
harpocrates/scala
Scala 2 compiler and standard library. For bugs, see scala/bug
harpocrates/spec
WebAssembly specification, reference interpreter, and test suite.
harpocrates/swagger-ui
Swagger UI is a collection of HTML, JavaScript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
harpocrates/upickle
uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala
harpocrates/visnetwork-facade
scala.js facade for vis-network.js
harpocrates/wasm-ops
Chart of WebAssembly Instructions