arthurxavierx/ebook-category-theory arthurxavierx/ebook-category-theory

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • License
    GNU General Publi...
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arthurxavierx/ebook-category-theory
github

arthurxavierx

Reviews

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

Repository Details

Bartosz Milewski's Category Theory for Programmers as an eBook

More Repositories

1

vim-caser

Easily change word casing with motions, text objects or visual mode.
Vim Script
136
star
2

purescript-comonad-ui-todos

Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
PureScript
53
star
3

purescript-comonad-rss

RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.
PureScript
52
star
4

vim-unicoder

unicoder.vim: easy unicode characters in insert mode with abbreviations
Vim Script
37
star
5

purescript-carpenter

Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen
PureScript
34
star
6

contour-lines

Generative art experiment with terrain contour lines.
JavaScript
17
star
7

purescript-react-native

Low-level React Native bindings for PureScript
PureScript
15
star
8

atom-which-key

Atom package that displays available keybindings in a panel
JavaScript
11
star
9

purescript-comonad-ui

PureScript
10
star
10

monadic-party-edsl

Examples and slides for the Type-safe Embedded Domain-Specific Languages workshop at Monadic Party 2019 (will be updated as workshop happens)
PureScript
8
star
11

workshop-intro-fp-elm

Workshop: introduction to functional programming (with Elm)
Elm
8
star
12

purescript-pux-todomvc

TodoMVC implementation using PureScript and the Pux package
PureScript
6
star
13

purescript-comonad-ui-react

[WIP] purescript-react renderer for comonadic UIs
PureScript
6
star
14

purescript-react-router

Clean, type-safe routers for purescript-react
PureScript
4
star
15

talks

PureScript
3
star
16

haskell-js

Lambda functions and functional programming for javascript
CoffeeScript
3
star
17

purescript-carpenter-todomvc

TodoMVC implementation using PureScript and the purescript-carpenter library
PureScript
3
star
18

vim-symbols

Insert special characters with Vim's native completion.
Vim Script
2
star
19

dotfiles

Vim Script
2
star
20

reverse-highway

Audio visualization experiment with WebGL.
JavaScript
2
star
21

arthurxavierx.github.io

HTML
1
star
22

modelr

Android application for 3D drawing based on 2D sketches
Java
1
star
23

dynamic-parser

Simple yet extensible dynamic parser written in ANSI-C
C
1
star
24

purescript-pux-dice

Example application for the presentation PureScript & Pux
JavaScript
1
star