Pinned Repositories
.emacs.d
Second attmept at using emacs
advent-of-code-2020
blog
databass
hbomb-repl
Repl for keep talking and nobody explodes
incremental-tsc
kakoune.el
A very simple simulation of the kakoune editor inside of emacs.
mcc
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
open-strings
TensorFlock
A small functional tensor language with Einstein summation notation convention and shape-checking at compile-time.
jmorag's Repositories
jmorag/kakoune.el
A very simple simulation of the kakoune editor inside of emacs.
jmorag/open-strings
jmorag/hbomb-repl
Repl for keep talking and nobody explodes
jmorag/blog
jmorag/databass
jmorag/.doom.d
jmorag/aci-learning-technical-interview
jmorag/aoc2021
jmorag/bencoding
Serialization and deserealization of bencoded data used by bittorent protocol.
jmorag/bencoding-lens
Lenses for bencoded data.
jmorag/corfu-terminal
jmorag/emacs-format-all-the-code
Auto-format source code in many languages with one command
jmorag/emacs-popon
jmorag/futures-rs
Zero-cost asynchronous programming in Rust
jmorag/haskell-vary
A fast and user-friendly implementation of variant types (aka open unions, open sum types, coproducts)
jmorag/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
jmorag/HVM
A massively parallel, optimal functional runtime in Rust
jmorag/katip
A structured logging framework for Haskell
jmorag/meow
Yet another modal editing on Emacs / 猫态编辑
jmorag/minimal-bazel-hashable
jmorag/opensheetmusicdisplay
OpenSheetMusicDisplay renders sheet music in MusicXML format in your web browser based on VexFlow. OSMD is brought to you by PhonicScore.com.
jmorag/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
jmorag/ryo-modal
Roll your own modal mode
jmorag/smartparens
Minor mode for Emacs that deals with parens pairs and tries to be smart about it.
jmorag/type-level-sets
Type-level sets for Haskell (with value-level counterparts and various operations)
jmorag/typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
jmorag/unison-experiments
jmorag/unison-mode-emacs
Very simple syntax highlighting
jmorag/unzip-zstd
Info-ZIP unzip utility with zstd compression method support
jmorag/yesod
A RESTful Haskell web framework built on WAI.