Pinned Repositories
fasten
Searches for more performant software configurations.
Hap
A simple concurrent programming language.
hap-hs
Haskell [re]implementation of Hap, a simple event-based programming language.
kitten
A statically typed concatenative systems programming language.
protodata
A textual language for binary data.
Toody
A two-dimensional parser combinator library.
Very
Very Programming Language
virtual-machine
Toy optimising virtual machine
Ward
A static analysis tool for C.
evincarofautumn's Repositories
evincarofautumn/kitten
A statically typed concatenative systems programming language.
evincarofautumn/Toody
A two-dimensional parser combinator library.
evincarofautumn/protodata
A textual language for binary data.
evincarofautumn/Ward
A static analysis tool for C.
evincarofautumn/Hap
A simple concurrent programming language.
evincarofautumn/hap-hs
Haskell [re]implementation of Hap, a simple event-based programming language.
evincarofautumn/virtual-machine
Toy optimising virtual machine
evincarofautumn/ktn
evincarofautumn/lll
A Linear-Logical Language (working title)
evincarofautumn/aoc-2018
Advent of Code 2018
evincarofautumn/Janus
An implementation of the Janus reversible programming language
evincarofautumn/ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
evincarofautumn/justly
An implementation of justified containers in Rust
evincarofautumn/LanguageCTest
Old performance tests for language-c
evincarofautumn/higher-rank
A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
evincarofautumn/kittenlang.org
http://kittenlang.org/
evincarofautumn/store
Fast binary serialization
evincarofautumn/Dotfiles
Exactly what it says on the tin.
evincarofautumn/evincarofautumn
evincarofautumn/evincarofautumn.github.io
evincarofautumn/freer-simple
A friendly effect system for Haskell
evincarofautumn/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
evincarofautumn/haskell-companies
A gently curated list of companies using Haskell in industry
evincarofautumn/Idris-dev
A Dependently Typed Functional Programming Language
evincarofautumn/language-c
Source repository for https://hackage.haskell.org/package/language-c
evincarofautumn/monadic-bang
GHC plugin to desugar ! into do-notation
evincarofautumn/mono
Mono open source ECMA CLI, C# and .NET implementation.
evincarofautumn/proglangdesign.github.io
A website for the #proglangdesign community on freenode
evincarofautumn/rust
A safe, concurrent, practical language.
evincarofautumn/website
Mono's web site.