colah/Higher-Order-Constraints colah/Higher-Order-Constraints

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Haskell
  • Created almost 13 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
colah/Higher-Order-Constraints
github

colah

Reviews

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

Repository Details

An experiment in higher order type constraints

More Repositories

1

colah.github.io

HTML
784
star
2

Conv-Nets-Series

A series of blog posts on convolutional neural networks and their generalizations.
206
star
3

Visualizing-Deep-Learning

A series of blog posts on visualizing deep learning.
JavaScript
159
star
4

NN-Topology-Post

A blog post exploring a connection between neural networks and topology
93
star
5

HaskSymb

An Experiment in Haskell Symbolic Algebra
Haskell
70
star
6

NLP-RNNs-Representations-Post

A blog post using word embeddings and RNNs to explain representations.
39
star
7

colah-essays

A place for me to keep essays/papers I'm working on...
33
star
8

Motivated-Topology

A topology textbook with a hubristic title
TeX
29
star
9

Visualizing-Representations

JavaScript
20
star
10

ByronTrialNotes

Notes from the trial of Byron Sonne
19
star
11

data

package manager for datasets
Python
13
star
12

surfcad

Surface-Oriented CAD Library for Python
Python
10
star
13

gaia

a simearth clone
C++
10
star
14

ldnsx

A python ldns API for human beings
Python
9
star
15

Fanfiction-Graphs-Post

A blog post on analyzing fanfiction through graphs!
JavaScript
8
star
16

ucalc

A Unicode Calculator
Haskell
8
star
17

NN-Group-1-Code

Code for a discussion group I'm running
Python
8
star
18

colah-blog

Source for Lambda Oinks blog. Made with Hakyll and Bootstrap.
JavaScript
8
star
19

Haskell-Re-Syntaxed

Let's brainstorm about syntactic improvements for Haskell!!
Haskell
6
star
20

FormatParser

Like Parsec, but two-way! (Experimental!)
Haskell
5
star
21

DL-Types-FP-posts

Blog post exploring connection between Deep Learning, Types and Functional Programming
4
star
22

Printable-Vacuum-Cleaner

A Hand Held 3D printable vacuum cleaner!
4
star
23

LabeledTensor

Experiment with improving NumPy syntax
Python
3
star
24

group-conv-post

3
star
25

Pattern-Power

Pattern matching + Template Haskell + Awesome
Haskell
3
star
26

Legal-Man-Pages

Legal documents as Unix man pages
2
star
27

Gathered-Correspondences

Email exchanges
2
star
28

Printable-Morse-Key

A 3D printable morse paddle key.
2
star
29

Hacklab-Logo-3D

Openscad 3D implementation of the hacklab logo.
2
star
30

Python-Unicode-XCompose-Script

Some handy unicode tables and a script to generate XCompose files.
Python
2
star
31

Control.Monad.State.Sugar

Syntactic sugar for the state monad.
Haskell
2
star
32

colah.github.com

2
star
33

toolhead-lib

A library for microcontroller toolhead control, heater feedback loops and temperature sensors.
C
2
star
34

Semi-Public-Journal

colah's (not super private) thoughts, notes, musings, etc
1
star
35

colah-blog-posts

Blog posts for colah-blog
1
star
36

Representations-Types

1
star