-
-
heftia Public
Forked from sayo-hs/heftiahigher-order algebraic effects done right for Haskell
-
-
pcminer Public
Forked from pcminer-tools/pcminerPC-miner tool for program chairs
HTML UpdatedDec 8, 2023 -
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedJan 3, 2022 -
-
haskell-auto-reload-mode Public
Forked from kcsongor/haskell-auto-reload-modeEmacs minor mode to automatically reload interactive haskell sessions
Emacs Lisp UpdatedNov 21, 2020 -
plclub-web Public
Forked from plclub/plclub-webA Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)
HTML UpdatedOct 9, 2020 -
effects-benchmarks Public
Forked from patrickt/effects-benchmarksBenchmarking Haskell extensible-effect libraries.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 2, 2020 -
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedMar 11, 2020 -
arduino-hedgehog-bot Public
Forked from MVSE-Outreach/arduino-hedgehog-botScott & Joe's wonderful cheap and cheerful Arduino nano & ESP2866 based robot.
C++ UpdatedJun 24, 2019 -
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedApr 24, 2019 -
doom-emacs Public
Forked from doomemacs/doomemacsAn Emacs configuration for the stubborn martian vimmer
Emacs Lisp MIT License UpdatedApr 22, 2019 -
yoda Public
A simple combinator library
-
active Public
Forked from diagrams/activeTime-varying values with start and end times.
TeX Other UpdatedJun 5, 2018 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedApr 26, 2018 -
effect-handlers Public
A comparison of approaches to handling computational effects
Haskell MIT License UpdatedOct 14, 2016 -
lhs2tex Public
Forked from kosmikus/lhs2texPreprocessor for typesetting Haskell sources with LaTeX
Haskell Other UpdatedJun 21, 2016 -
COMS10002 Public
Forked from conorhoughton/COMS10002Bristol Computer Science first year algorithms course
TeX UpdatedOct 13, 2015 -
language-haskell Public
Forked from atom-haskell/language-haskellHaskell language support for Atom
CoffeeScript MIT License UpdatedJul 6, 2015 -
atom-character-table Public
Forked from klorenz/atom-character-tableLookup any unicode character in select list view :)
CoffeeScript MIT License UpdatedMay 28, 2015 -
-
flowtime.js Public
Forked from marcolago/flowtime.jsFlowtime.js HTML5/CSS3/JS Presentation Framework
JavaScript MIT License UpdatedOct 16, 2014 -
-
-
-
-
oh-my-zsh Public
Forked from ohmyzsh/ohmyzshA community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up you…
-
hdbc-performance Public
HDBC performance measuring
{{ message }}