There are no reviews yet. Be the first to send feedback to the community and the maintainers!
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)wiwinwlh
What I Wish I Knew When Learning Haskellkaleidoscope
Haskell LLVM JIT Compiler Tutorialbulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setupnumpile
A tiny 1000 line LLVM-based numeric specializer for scientific Python code.gevent-tutorial
Gevent tutorial for the Working Python Developerwasm
Haskell compiler infastructure for WebAssemblytinyjit
Haskell JITminichat
Minimal realtime chat application ( Tutorial )kaylee
MapReduce with ZeroMQrepline
Haskeline wrapper for GHCi-like REPL interfacespapers
popping-the-crypto-bubble
A no holds barred and unrelenting hatchet job of the crypto community, with all its bad ideas and bad actors put into a historical context of market manias and financial populism.dive-into-ghc
Dive into GHCarithmetic-circuits
Arithmetic circuits for zero knowledge proof systemszurihac-crypto
Small minimal examples of modern cryptographic techniques in Haskellschnorr-nizk
Schnorr Protocol for Non-interactive Zero-Knowledge Proofscabal-edit
A utility for managing Hackage dependencies and manipulating Cabal files from the command line.haskell-vim-proto
Basic starter config for Vim and Haskelldouble-ratchet
Double ratchet algorithm for E2E encryptionpairing
Optimised bilinear pairings over elliptic curveszeromq-chat
A gevent + Django + Socket.IO + ZeroMQ chat examplegalois-field
Finite field and algebraic extension field arithmeticaos-signature
Abe-Ohkubo-Suzuki Linkable Ring Signaturespynanomsg
Python bindings for nanomsgsonic
Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Stringssubpy
Python subsetselliptic-curve
A polymorphic interface for elliptic curve operationsvim-ormolu
Plugin for formatting Haskell source codellvm-tutorial-standalone
DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )oblivious-transfer
Oblivious transfer for multiparty computationcats
Generate commutative diagrams inside of Pandoc with Tikzhakyll-bootstrap
Basic Hakyll + Bootstrap sitepyrewrite
Python term rewritingparis-fp
Paris Functional Programming Meetupdotfiles
My config filesllvm-codegen
Code generation utils for LLVMnumpush
Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )shamir
Shamir Secret Sharinggalois-fft
Finite field polynomial arithmetic based on fast Fourier transformsdatetime
Financial datetimes and holiday recurrence ruleshaskell-picosat
Haskell bindings for PicoSAT solverhaskell-warp-rest
A Haskell web application using acid-state and scottyvim-cabalfmt
Cabal-fmt vim plugin for formatting Cabal package filespicologic
Symbolic logic expressionscooking-generics
http://www.stephendiehl.com/posts/generics.htmlbeamer_template
A toolchain to make beautiful Beamer presentations without fussing with LaTeX.haskell-linenoise
Lightweight readline library for Haskellllvm-pp
A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )gevent_viz
Visualize gevent Greenlet context switchesbnlc
Binary lambda calculuspycraig
Python library for scraping data from Craigslistcommentary
ts
validation
Applicative data validationcfrac
Continued fractions for arithmeticconcurrent-timer
Concurrent timerwebsocket-logger
A in-browser logging console for debugging realtime communicationagents-experiment
Toy languageunirewrite
Generic term rewritingtipy
Preprocessor for Python tutorialsequation-editor
A lightweight extensible Javascript equation editorpretty-latex
Utilities for pretty printing LaTeX from Haskellpy-control-flow
Visualize python control flowpure-python
Cython interface for Purechurch-numbers
Lambda Calculus in Pythonvector-eigenvalues
pymathml
Fork of sourceforge.net/projects/pymathmlrpygtk
A GTK based frontend for RLove Open Source and this site? Check out how you can help us