SamirTalwar/category-theory-for-programmers SamirTalwar/category-theory-for-programmers

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Agda
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SamirTalwar/category-theory-for-programmers
github

SamirTalwar

Reviews

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

Repository Details

More Repositories

1

smoke

Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.
Haskell
88
star
2

Rekord

Type-safe records in Java, to be used instead of POJOs, Java beans, maps or value objects.
Java
47
star
3

FizzBuzz

Reimplementing lambda calculus in Java 8 for fun and profit.
Java
17
star
4

webops-workshop

HCL
10
star
5

Streams

Streams are a way of creating useful iterables in Java, similar to C#'s Linq to Objects, Python's generators or Haskell's lists.
Java
10
star
6

docker-compilation-images

Compile your application in Docker, and ship it as an image. Without shipping the build.
Ruby
9
star
7

fygm

Samir's dot files and shell scripts. Use with caution.
Nushell
6
star
8

arborist

A test framework for asynchronous Elm code.
Elm
5
star
9

advent-of-code

My solutions for https://adventofcode.com/
Haskell
5
star
10

boo

A little programming language, designed to be embedded inside another one.
Rust
4
star
11

Lists

Implementations of immutable linked lists in various languages for a code dojo.
C#
4
star
12

predestination

Several implementations of Conway's Game of Life.
Python
4
star
13

middleman

A simple Node application that lets you proxy a website (over HTTP or HTTPS) via a local HTTP server.
JavaScript
4
star
14

the-tiniest-service

Shell
3
star
15

Principles-of-Reactive-Programming

Scala
3
star
16

Sideways

A platformer in JavaScript. Created to demonstrate JavaScript to kids.
JavaScript
3
star
17

monospacedmonologues.com

My blog.
HTML
3
star
18

diamond-kata

Driving the Diamond kata with property-based tests.
Haskell
2
star
19

HaskellHamcrest

Matchers in Haskell.
Haskell
2
star
20

bakery

Cakes, not baking.
Haskell
2
star
21

twitter-search

A simple WebSocket server that searches Twitter and passes back the results.
JavaScript
2
star
22

memory-loss

A browser extension that persuades your browser to forget information after a while.
TypeScript
2
star
23

eleven

It rhymes with seven.
Rust
2
star
24

jsqlon

Write SQL, read JSON.
Clojure
2
star
25

safe-promises-js

It's too easy to forget to catch a promise. `SafePromise` doesn't let you forget.
JavaScript
2
star
26

overthefinishline.com

Haskell
1
star
27

trivia-golden-master

Shell
1
star
28

try-catch-fuckit

Java
1
star
29

logs-as-the-event-source

JavaScript
1
star
30

havana

An attempt at a Java compiler in Haskell, for fun and much learnings.
Haskell
1
star
31

types-and-programming-languages

My solutions to the exercises in the book, Types and Programming Languages.
Agda
1
star
32

daml-habit-tracker

Tracking my exercise, append-only.
TypeScript
1
star
33

noodlesandwich.com

Elm
1
star
34

sandcastles

A supervisor designed for scripting.
Rust
1
star
35

experiments-with-type-systems

Experiments with type systems for a talk on 2017-12-06.
JavaScript
1
star
36

save-the-princess

The start of a vague attempt at a game that teaches JavaScript.
JavaScript
1
star
37

Quacker

A Twitter "clone" from the ground up, made to demonstrate my opinion of what "best practices" means in a Java codebase.
Java
1
star