Pinned Repositories
bright-ml
A statically-typed programming language based on "F-ing modules"
focused-modules
A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
mixml-sml
A MixML typechecker, written in Standard ML
modules
Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
modules-rs
An interpreter of F-ing modules
seqmod
Full implementation of F-ing Modules, with the power of sequent calculus
subtyping-agda
Some rudimentary proofs on subtyping
tutor-ml-modules
Tutorial on implementing an ML-like module system
types-1ml
Type systems written in 1ML
ucat
Univalent categories, displayed categories, and fibrations
elpinal's Repositories
elpinal/coco3-go-to-bed-by9
elpinal/cciiff
elpinal/lioll
elpinal/psla
Manage Python environment
elpinal/elella
El El La format
elpinal/types-ocaml
Types in OCaml
elpinal/hec
An Elacht Compiler Written in Haskell [WIP]; developing moved to https://github.com/elpinal/thc
elpinal/gvmn
Manage variations of Go to build the developing versions
elpinal/key-mapping-playground
Provides sense of key mappings
elpinal/cac
elpinal/gec
An Elacht Compiler Written in Go with LLVM [WIP]
elpinal/explicit
The Explicit package
elpinal/monumental-ruby
Manage various versions of Ruby
elpinal/rust-vim-flavor
elpinal/vim-goyacc
elpinal/eltfmt
A formatter for Elacht programming language
elpinal/elacht
The Elacht Programming Language
elpinal/types-go
Type inference in Go
elpinal/edit
Compute editing facility
elpinal/revim
Regular expression of Vim
elpinal/st
A scalable "terminal" as a command of terminals
elpinal/color
Text colorizer with escape sequences
elpinal/aewo
Yet another Emacs version manager
elpinal/project-euler
Solving Project Euler
elpinal/eces
Manage .emacs.d
elpinal/vimperator-flavor
Manage Vimperator plugins
elpinal/vimperator-plugins
Relics of trivial plugins for Vimperator
elpinal/vimperator-pback
Perform proper history back — back history or, if no history, remove the current tab
elpinal/vimperator-leadmarks
Yet another bookmark system which shows entries by order of added date
elpinal/vimperator-rewind
Back history in terms of URI hosts