-
math_books Public
Forked from uburuntu/awesome-math-ru📚 Математичный список полезных книг
HTML UpdatedJul 27, 2018 -
awesome-math Public
Forked from rossant/awesome-mathA curated list of awesome mathematics resources
Python UpdatedJul 9, 2018 -
dunai Public
Forked from ivanperez-keera/dunaiFunctional Reactive Programming using Monadic Stream Functions
Haskell Other UpdatedJul 7, 2018 -
hid-examples Public
Forked from bravit/hid-examplesExamples to accompany the book "Haskell in Depth"
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 19, 2018 -
-
process Public
Forked from haskell/processLibrary for dealing with system processes
Haskell Other UpdatedJun 17, 2018 -
a small .pdf management utility
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 15, 2018 -
mikrokosmos Public
Forked from mroman42/mikrokosmosDidactic λ-calculus interpreter
Haskell GNU General Public License v3.0 UpdatedJun 6, 2018 -
haskell-blockchain-workshop Public
Forked from tdietert/haskell-blockchain-workshopThe source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
Haskell MIT License UpdatedJun 5, 2018 -
sdl2-snake Public
Forked from soupi/sdl2-snakeAn example application for sdl2.
Haskell Apache License 2.0 UpdatedJun 3, 2018 -
STLC Public
Forked from effectfully/STLCDependently typed Algorithm M and friends
Agda UpdatedJun 2, 2018 -
img Public
Forked from genuinetools/imgStandalone, daemon-less, unprivileged Dockerfile and OCI compatible container image builder.
Go MIT License UpdatedJun 1, 2018 -
pi-calculus-and-logic Public
Forked from Enecuum/pi-calculus-and-logicClassic pi calculus + additional logic terms
Haskell GNU General Public License v3.0 UpdatedJun 1, 2018 -
gentoo-cynede Public
Forked from romildo/gentoo-cynedetiny Gentoo overlay
Shell UpdatedJun 1, 2018 -
eudev Public
Forked from eudev-project/eudevRepository for eudev development
C GNU General Public License v2.0 UpdatedMay 30, 2018 -
stackage-content Public
Forked from commercialhaskell/stackage-contentContent for the stackage.org site
HTML UpdatedMay 30, 2018 -
intellij-haskell Public
Forked from rikvdkleij/intellij-haskellIntelliJ plugin for Haskell
Scala Apache License 2.0 UpdatedMay 27, 2018 -
portage-utils Public
Forked from gentoo/portage-utilsOfficial mirror; bugs -> https://bugs.gentoo.org/
C GNU General Public License v2.0 UpdatedMay 27, 2018 -
hblock Public
Forked from seroron/hblockBlock puzzle in Haskell
Haskell MIT License UpdatedMay 27, 2018 -
haskell-symbol-search-cheatsheet Public
Forked from takenobu-hs/haskell-symbol-search-cheatsheetHaskell/GHC symbol search cheatsheet
UpdatedMay 27, 2018 -
alex Public
Forked from haskell/alexA lexical analyser generator for Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 24, 2018 -
ghci-pretty Public
Forked from larskuhtz/ghci-prettytiny hack for colored pretty-printing within ghci
Haskell MIT License UpdatedMay 22, 2018 -
-
yacctt Public
Forked from mortberg/yaccttyacctt: Yet Another Cartesian Cubical Type Theory
Haskell MIT License UpdatedMay 22, 2018 -
kan-extensions Public
Forked from ekmett/kan-extensionsKan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Haskell Other UpdatedMay 21, 2018 -
-
parsonsmatt.github.io Public
Forked from parsonsmatt/parsonsmatt.github.ioMy Github pages website
CSS Other UpdatedMay 19, 2018 -
megaparsec Public
Forked from mrkkrp/megaparsecIndustrial-strength monadic parser combinator library
Haskell Other UpdatedMay 19, 2018 -
intellij-haskforce Public
Forked from carymrobbins/intellij-haskforceHaskell plugin for IntelliJ IDEA
Java Apache License 2.0 UpdatedMay 18, 2018 -
haskell-tapl Public
Forked from zehnpaard/haskell-taplHaskell Implementation of Lambda Calculus as explained in Types and Programming Languages
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 17, 2018
{{ message }}