rrnewton
Follow
-
haskell-lockfree Public
A collection of different packages for CAS based data structures.
-
blindchess Public
Simple way to practice blind chess.
Rust BSD 2-Clause "Simplified" License UpdatedJan 14, 2024 -
Adv360-Pro-ZMK Public
Forked from KinesisCorporation/Adv360-Pro-ZMKProduction repository for the all-new Advantage360 Professional using ZMK engine
Shell MIT License UpdatedDec 21, 2023 -
-
hermit_old Public
Forked from facebookexperimental/hermitHermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
Rust Other UpdatedDec 22, 2022 -
criterion-external Public
Simple demonstration of how to use Criterion to benchmark separate executables.
-
-
thread-local-storage Public
A TLS library for GHC Haskell.
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedJul 4, 2019 -
shonan-143 Public
Forked from avsm/shonan-143Shonan #143: Programming Language Support for Data-intensive Applications
UpdatedJun 25, 2019 -
PhyBin Public
Binning (Newick) Phylogenetic Trees by Topology
-
dirsize Public
"du" replacement. Get the exact size in bytes and min/max modtimes of a directory.
OCaml UpdatedDec 31, 2018 -
AMBROSIA Public
Forked from microsoft/AMBROSIAActor-Model Based Reliable Object System for Internet Applications
C# MIT License UpdatedDec 11, 2018 -
-
linear-cursors Public
Linear types applied to type-safe cursors into memory buffers containing dense serialized data.
-
women-in-programming-languages-research Public
Forked from jeanqasaur/women-in-programming-languages-researchWomen in Programming Languages and Software Engineering Research
UpdatedFeb 12, 2018 -
Essentials-of-Compilation Public
Forked from IUCompilerCourse/Essentials-of-CompilationA book about compiling Racket to x86-64 assembly
-
haskell-style-guide Public
Forked from tibbe/haskell-style-guideA style guide for Haskell code.
-
hgdata Public
This is now the main development repo for the handa-gdata package. It replaces an earlier repo at: https://code.google.com/p/hgdata/
-
emacs-haskell-config Public
Forked from massyl/emacs-haskell-configA quick and easy pre-configured Emacs for developing with Haskell
-
-
ghc-proposals Public
Forked from simonmar/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
UpdatedDec 1, 2016 -
manticore Public
use the pmlc mirror above. this repo will be removed soon
Standard ML UpdatedNov 23, 2016 -
mlkit Public
Forked from melsman/mlkitStandard ML Compiler and Toolkit
Standard ML UpdatedOct 17, 2016 -
garbage Public
Forked from boj/garbage -
concurrent-skiplist Public
An implementation of maps and sets based on a concurrent-skiplist implementation.
-
IHaskell Public
Forked from IHaskell/IHaskellA Haskell kernel for IPython.
Haskell MIT License UpdatedJul 23, 2016 -
par-gensym Public
A demonstration of how to do parallel gensyms.
Haskell Apache License 2.0 UpdatedJul 23, 2016 -
verified-haskell-tests Public
Playing around with different options for verifying bits of Haskell code
-