Discover sordina/Types-and-Programming-Languages Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
Created almost 13 years ago
Updated almost 13 years ago

sordina

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

Working on exercises from "Types and Programming Languages" by B.C. Pierce

churros

simple chan based stream programming with arrow interface (Chan + Arrow = Churro)

Haskell

logody

concurrent process runner

Haskell

Deadpan-DDP

A Haskell DDP Client

Haskell

SQLBong

Command-Line SQLite3 Wrapper for text manipulation with SQL

crashkell

Learn Haskell by Crashing

Jupyter Notebook

Haskell-Techniques

A collection of techniques used in Haskell that are worth remembering.

Haskell

japl

Font for turning J into APL

servant-options

Haskell

launchtext

Scrolling Text on your Novation Launchpad

Clojure

learning-llvm

Building a small tutorial in order to learn LLVM

CSS

haskell_workshop

Resources for a Melbourne Haskell workshop

Haskell

HaskellEvolutionProfile

Profiling "Evolution of a Haskell Programmer"

Haskell

regex-logic

Haskell

pigraph

visual programming language for constructing distributed computation graphs

Rust

GLM

A Small GridLab-D Markup Parser and Dot Generator.

Haskell

Project-Euler

Solutions to the Project-Euler problems at http://projecteuler.net/

Haskell

poverty

Povray city generator

Simple-LSR

A Simple Haskell Least-Squares-Regression Library

Haskell

Vim-Config

Config files for vim

Vim Script

Diagrams-AST

Abstract Syntax Tree for the Haskell Diagrams Package

Haskell

path-explorer

Haskell

IneffectiveSorts

http://xkcd.com/1185/

Python

Life

The game of life implemented in haskell / opengl

Haskell

Historical-Cryptography

Implementation of historical cryptographic and cryptanalytic algorithms.

Haskell

launchpad

Conway's Game of Life on the Novation Launchpad

Clojure

advent2020

Advent of Code 2020 Solutions

Haskell

GEB

Programatic representations of excerpts from "Gödel Escher Bach"

Haskell

PNM-OpenGL-Haskell

OpenGL PNM Viewer

Haskell

bonkuras

Fighting game inspired by Azumanga Daioh

Haskell

haskdll-demo

short POC of dll based switching of implementations

Haskell

Tac

Reverse lines of input from stdin to stdout.

Haskell

Edn

Haskell

NodeJS-REPL-File-Loader

Add the ability to start the node.js REPL for local javascript files.

JavaScript

PureMD5Improvements

Polishing upp PureMD5 to work with a recent GHC, Cabal, etc.

Haskell

compose_melbourne_2017_haskell_workshop

HTML

HGraphicsMagick

Haskell GraphicsMagick wrapper.

Haskell

srvdir

Haskell

CanvasGraph

Combines Graphing and Blank-Canvas for a portable way to get some graphics on screen, fast.

Haskell

Maze

A simple maze generator

Haskell

Conscript

Restart a command on STDIN activity

Haskell

pandoctor

Run code-blocks through arbitrary programs.

Haskell

sordina.github.io

Pages Blog

CSS

Surreal-Numbers

A haskell reworking of D.E. Knuth's novel - Surreal Numbers.

Haskell

IdentifyMe

Quick service to see if your credentials are available for a 3-item business card.

Haskell

12Factor

Implementing an admin application to manage deployment in the style of http://www.12factor.net/

Haskell

iTunes-Web-Interface

A web-interface for iTunes written in Haskell using the Snap framework

Haskell

Midi

Midi Algorithmic Composition

Haskell

LoveGame

Test Game in the löve framework

Lua

Pearls-of-Functional-Algorithm-Design

Repository of Richard Bird's problems with quickcheck properties.

Haskell

RedditFollow

Follow people and links via reddit

Haskell

A-New-Kind-of-Science

Working out examples from Wolfram's A New Kind of Science

Haskell

HTML2XML

Convert HTML StringLike to XML StringLike (Useful for preprocessing HTML for use with conduit, etc)

Haskell

Dynamic-Form

Dynamically modify forms with javascript. Use-case: User creates data from a schema.

haskell_workshop_2015

HTML

swiftui-json-schema-form

tabulate

freewill.it

MarkovText

alt_dot_net_haskell_workshop

Alt .Net Haskell Workshop 2017

HTML

Automatic-Browser

Browses the web automatically to save you time and money!

JavaScript

context-path

HTML Canvas app for creating paths to be used in Context Free

JavaScript

gists

Dump a user's gists from the command line.

Haskell

ScriptMidi

Run Scripts from a Midi Device

Haskell

Parsec-General-Tokens

Generic token combinator capabilities for use with ByteStrings or whatever!

Profilerrific

A small profiler framework based around a Git workflow

Shell

Commando

Watch some files; Run a command

Haskell

mathfriends

A friendly math sharing site using Meteor

JavaScript

Tyler

Image tiling library.

Ruby

haskell-meetup-sudoku

Repo for RIchard Bird's Sudoku Solution

Haskell

resume

A knowledge-network based resume with cool styles.

JavaScript

schema-json-isomorphism

Convert Prismatic Schema Data-Structures to JSON and back again.

Clojure

le2bf

Line-Ending language; Compiles to brainfuck

Brainfuck

PerthFP-Agda-Presentation

Source for my Agda Presentation to the Perth Functional Programmers Group

Proofs

A heterogeneous collection of informal proofs.

uniqhash

Filter a list of filenames based on if their contents have changed.

Haskell

sordina/Types-and-Programming-Languages

sordina

Reviews

Repository Details

More Repositories