SamirTalwar/types-and-programming-languages SamirTalwar/types-and-programming-languages

  • Stars
    star
    1
  • Language Agda
  • Created over 3 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SamirTalwar/types-and-programming-languages
github

SamirTalwar

Reviews

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

Repository Details

My solutions to the exercises in the book, Types and Programming Languages.

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

category-theory-for-programmers

Agda
3
star
18

monospacedmonologues.com

My blog.
HTML
3
star
19

diamond-kata

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

HaskellHamcrest

Matchers in Haskell.
Haskell
2
star
21

bakery

Cakes, not baking.
Haskell
2
star
22

twitter-search

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

memory-loss

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

eleven

It rhymes with seven.
Rust
2
star
25

jsqlon

Write SQL, read JSON.
Clojure
2
star
26

safe-promises-js

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

overthefinishline.com

Haskell
1
star
28

trivia-golden-master

Shell
1
star
29

try-catch-fuckit

Java
1
star
30

logs-as-the-event-source

JavaScript
1
star
31

havana

An attempt at a Java compiler in Haskell, for fun and much learnings.
Haskell
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