msakai/essence-of-ad msakai/essence-of-ad

  • Stars
    star
    2
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msakai/essence-of-ad
github

msakai

Reviews

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

Repository Details

Attempt to code "The Simple Essence of Automatic Differentiation" paper

More Repositories

1

toysolver

My sandbox for experimenting with solver algorithms.
Haskell
148
star
2

cpl

An interpreter of Hagino's Categorical Programming Language (CPL).
Haskell
100
star
3

data-interval

Interval datatype, interval arithmetic, and interval-based containers for Haskell
Haskell
20
star
4

haskell-decision-diagrams

Binary decision diagrams (BDD) and Zero-Suppressed Binary Decision Diagrams (ZDD) in Haskell
Haskell
11
star
5

nonlinear-optimization-ad

Several Haskell packages for numerical optimizations.
Haskell
8
star
6

ptq

An implementation of Montague's PTQ (Proper Treatment of Quantification).
Haskell
7
star
7

bytestring-encoding

Haskell
6
star
8

haskell-minisat

Low-level Haskell binding of Minisat
C++
5
star
9

finite-field

Haskell
4
star
10

glpk-maxsat

Max-SAT frontend for GLPK
C++
4
star
11

extended-reals

Extension of real numbers with positive/negative infinities (±∞)
Haskell
4
star
12

chainer-optnet

Python
3
star
13

pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Haskell
3
star
14

sign

Arithmetic over signs and sets of signs
Haskell
2
star
15

satchmo-toysat

toysat driver as backend for satchmo
Haskell
2
star
16

haskell-hyperset

Haskell
2
star
17

tpp2011

"Uniform Candy Distribution" problem
2
star
18

haskell-optdir

The OptDir type for representing optimization directions.
Haskell
2
star
19

haskell-MIP

Libraries for reading/writing MIP problem files, invoking external MIP solvers, etc. in Haskell
Haskell
2
star
20

ltg

TeamSampou's repository for ICFPC2011
Haskell
2
star
21

ersatz-toysat

toysat driver as backend for ersatz
Haskell
2
star
22

haskell-glpk

Haskell wrapper for GLPK (GNU Linear Programming Kit).
Haskell
2
star
23

scip-maxsat

Max-SAT frontend for SCIP
C++
2
star
24

folkung

Personal mirror of http://code.haskell.org/folkung/
Haskell
2
star
25

icfpc2013

Haskell
2
star
26

bnn-verification

TeX
2
star
27

icfpc2012

ICFP Programming Contest 2012 -- Lambda Lifter
Haskell
2
star
28

pulp-scip

Python
1
star
29

tmctf2015-qualifier

Trend Micro CTF Asia Pacific & Japan 2015 Online Qualifier
Haskell
1
star
30

glucose-pybind11

C++
1
star
31

vstte2012vc

Java
1
star
32

multiset-large

Haskell
1
star
33

CCG-ja

Combinatory categorial grammar (CCG) of Japanese
1
star
34

icfpc2014

Haskell
1
star
35

rena

Ruby
1
star
36

CNFIO

CNF reader for Haskell
Haskell
1
star
37

cvc3

personal mirror of CVC3
C++
1
star
38

z3-proof-visualizer

TeX
1
star
39

kodkod

Personal mirror of http://alloy.mit.edu/kodkod/
Java
1
star
40

sandbox

Sandbox repository to learn git.
1
star