sdiehl/paris-fp sdiehl/paris-fp

  • Stars
    star
    27
  • Rank 905,827 (Top 18 %)
  • Language
    Haskell
  • License
    Other
  • Created about 8 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
sdiehl/paris-fp
github

sdiehl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Paris Functional Programming Meetup

More Repositories

1

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
Haskell
3,347
star
2

wiwinwlh

What I Wish I Knew When Learning Haskell
Haskell
2,565
star
3

kaleidoscope

Haskell LLVM JIT Compiler Tutorial
Haskell
1,029
star
4

bulletproofs

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Haskell
535
star
5

numpile

A tiny 1000 line LLVM-based numeric specializer for scientific Python code.
Jupyter Notebook
403
star
6

gevent-tutorial

Gevent tutorial for the Working Python Developer
HTML
382
star
7

wasm

Haskell compiler infastructure for WebAssembly
WebAssembly
358
star
8

tinyjit

Haskell JIT
Haskell
181
star
9

minichat

Minimal realtime chat application ( Tutorial )
Python
132
star
10

kaylee

MapReduce with ZeroMQ
Python
121
star
11

repline

Haskeline wrapper for GHCi-like REPL interfaces
Haskell
107
star
12

papers

95
star
13

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.
TeX
91
star
14

dive-into-ghc

Dive into GHC
Haskell
82
star
15

arithmetic-circuits

Arithmetic circuits for zero knowledge proof systems
Haskell
82
star
16

zurihac-crypto

Small minimal examples of modern cryptographic techniques in Haskell
Haskell
79
star
17

schnorr-nizk

Schnorr Protocol for Non-interactive Zero-Knowledge Proofs
Haskell
74
star
18

cabal-edit

A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
Haskell
74
star
19

haskell-vim-proto

Basic starter config for Vim and Haskell
Vim Script
64
star
20

double-ratchet

Double ratchet algorithm for E2E encryption
Haskell
59
star
21

pairing

Optimised bilinear pairings over elliptic curves
Haskell
55
star
22

zeromq-chat

A gevent + Django + Socket.IO + ZeroMQ chat example
Python
53
star
23

galois-field

Finite field and algebraic extension field arithmetic
Haskell
50
star
24

aos-signature

Abe-Ohkubo-Suzuki Linkable Ring Signatures
Haskell
48
star
25

pynanomsg

Python bindings for nanomsg
Python
47
star
26

sonic

Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
Haskell
45
star
27

subpy

Python subsets
Python
41
star
28

elliptic-curve

A polymorphic interface for elliptic curve operations
Haskell
41
star
29

vim-ormolu

Plugin for formatting Haskell source code
Vim Script
39
star
30

llvm-tutorial-standalone

DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
Haskell
37
star
31

oblivious-transfer

Oblivious transfer for multiparty computation
Haskell
36
star
32

cats

Generate commutative diagrams inside of Pandoc with Tikz
TeX
35
star
33

hakyll-bootstrap

Basic Hakyll + Bootstrap site
HTML
28
star
34

pyrewrite

Python term rewriting
Python
27
star
35

dotfiles

My config files
Vim Script
24
star
36

llvm-codegen

Code generation utils for LLVM
Haskell
23
star
37

numpush

Shared Memory Numpy ( Deprecated, See https://github.com/ContinuumIO/blaze )
Python
22
star
38

shamir

Shamir Secret Sharing
Haskell
19
star
39

galois-fft

Finite field polynomial arithmetic based on fast Fourier transforms
Haskell
19
star
40

datetime

Financial datetimes and holiday recurrence rules
Haskell
18
star
41

haskell-picosat

Haskell bindings for PicoSAT solver
C
16
star
42

haskell-warp-rest

A Haskell web application using acid-state and scotty
JavaScript
16
star
43

vim-cabalfmt

Cabal-fmt vim plugin for formatting Cabal package files
Vim Script
15
star
44

picologic

Symbolic logic expressions
Haskell
14
star
45

jquery-mathml

Superset of jQuery for working with MathML
JavaScript
12
star
46

cooking-generics

http://www.stephendiehl.com/posts/generics.html
Haskell
12
star
47

print

Simple printing with Text
Haskell
11
star
48

beamer_template

A toolchain to make beautiful Beamer presentations without fussing with LaTeX.
Python
11
star
49

haskell-linenoise

Lightweight readline library for Haskell
C
10
star
50

llvm-pp

A pretty printer for llvm-general-pure. (DEPRECATED: https://github.com/llvm-hs/llvm-hs-pretty/ )
Haskell
7
star
51

gevent_viz

Visualize gevent Greenlet context switches
Python
7
star
52

bnlc

Binary lambda calculus
Python
6
star
53

pycraig

Python library for scraping data from Craigslist
C
6
star
54

commentary

HTML
5
star
55

ts

C
5
star
56

validation

Applicative data validation
Haskell
5
star
57

cfrac

Continued fractions for arithmetic
Haskell
5
star
58

concurrent-timer

Concurrent timer
Haskell
4
star
59

websocket-logger

A in-browser logging console for debugging realtime communication
JavaScript
3
star
60

agents-experiment

Toy language
Haskell
3
star
61

unirewrite

Generic term rewriting
Haskell
3
star
62

tipy

Preprocessor for Python tutorials
Python
3
star
63

equation-editor

A lightweight extensible Javascript equation editor
JavaScript
3
star
64

pretty-latex

Utilities for pretty printing LaTeX from Haskell
Haskell
3
star
65

py-control-flow

Visualize python control flow
Python
3
star
66

pure-python

Cython interface for Pure
C
2
star
67

church-numbers

Lambda Calculus in Python
Python
2
star
68

vector-eigenvalues

C
2
star
69

pymathml

Fork of sourceforge.net/projects/pymathml
Python
1
star
70

rpygtk

A GTK based frontend for R
Python
1
star