cartazio/doctemplates cartazio/doctemplates

  • Stars
    star
    2
  • Language
    TeX
  • Created about 14 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cartazio/doctemplates
github

cartazio

Reviews

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

Repository Details

my latex templates etc

More Repositories

1

numbers

Haskell
29
star
2

monad-ste

ST with efficient exceptions
Haskell
20
star
3

resin

Resin: high performance variable binder and ast manipulation lib
Haskell
13
star
4

strict-identity

strict identity monad, handy for writing high performance strict code sanely
Haskell
7
star
5

system-lf

linear logic and system f have a baby
Agda
6
star
6

Vowpal-Utils

Utilities for interpreting models produced by Vowpal Wabbit
Haskell
6
star
7

safeword

finite sized word and int types with clear semantics
Haskell
5
star
8

HetList

HetList experimentation for the future of Overloaded List syntax
Haskell
5
star
9

tlaps

mirror of tlaps
OCaml
5
star
10

unboxed

some toys and tools for writing/using interesting unboxed sum types
Haskell
4
star
11

omega

Automatically exported from code.google.com/p/omega
Haskell
4
star
12

HaNS

HaNS, a haskell network stack (currently an archeology project, but maybe can be revived)
Haskell
4
star
13

agreement

agreement and other sorts of coordination algorithms
Haskell
3
star
14

blosc-hs

haskell bindings to the blosc compression library
C
3
star
15

scoutess

git mirror of the scoutess project
Haskell
3
star
16

old-random

Random number library
Haskell
3
star
17

my-webpage

Haskell
2
star
18

humane-parsers-hs

really nice parser combinators done nice
Haskell
2
star
19

machines-measured-stack

augmented stack with monoidal measures on the stack of streams
Haskell
2
star
20

symmetric-monoidal

symmetric monoidal categories
Haskell
2
star
21

storable-complex

This is the maintenance repo for storable complex
Haskell
2
star
22

choices

haskell flavored linear logical inspired choice/join/selection made fancy
Haskell
2
star
23

mech

a generalized state machine composition toolkit for building large systems
Haskell
2
star
24

permutations-perrry

git import of patrick perry permutations lib from darcs
Haskell
2
star
25

coq-hetmet

Coq
2
star
26

haver-raft

a port of a provably correct Raft algorithm
Haskell
2
star
27

exp-fam

playing with some ideas i borrowed from a friend, exponential families are cool!
Haskell
2
star
28

ralist

a fixed up copy of the Ralist package from hackage
Haskell
2
star
29

orange

the colorful place for the best RNGs, goodness first
Haskell
2
star
30

spin-model-checker

mirror of spin model checker
C
2
star
31

clocks

all sorts of distributed systems clocks!
Haskell
2
star
32

hmap

heterogenous type level sorted Symbol to k maps
Haskell
2
star
33

streaming-machine-json

move along, nothing interesting here just some ancient history
Haskell
2
star
34

sublime-text-2-packages-pile

all the config stuff of subl text 2
Python
2
star
35

for-latex-atom-theme

The ForLatex highlighting theme updated for Atom
CSS
1
star
36

part-time

partial ordery times!
Haskell
1
star
37

haskalgebra

experiments in CAS and other mathematical functionality for haskell
1
star
38

custodian

Haskell
1
star
39

geniplate

git mirror of geniplate source
Haskell
1
star
40

sollya

C
1
star
41

metalibm-lugdunum

http://www.metalibm.org and friends, lugdunum repo
Python
1
star
42

libressl-hs

Haskell
1
star
43

PerVect

Efficient Persistent Ephemeral Vectors
Haskell
1
star
44

hopenRTB

haskell openrtb server, meant for building a bidder / exchange
Haskell
1
star
45

ltt

a linear type theory
Haskell
1
star
46

dataenc

I am not the maintainer of dataenc, i'm just giving it some breath of life
Haskell
1
star
47

switchboard

network connection state management library/toolkit
Haskell
1
star
48

haskabelle

github mirror of haskabelle (haskell to isabelle theoremprover tool)
Haskell
1
star
49

formal-series

some explorations of formal series representations and algorithms
Haskell
1
star
50

octls

a byte of modern TLS
Haskell
1
star