Discover chiroptical/thinking-with-types Open Source project

Stars
34
Rank 766,985 (Top 16 %)
Language
Haskell
Created over 5 years ago
Updated over 4 years ago

chiroptical

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

Working through the Thinking with Types book in Haskell

declarative-programming-streams

Active streaming declarative programmers. See who's online at the following URL:

Haskell

book-of-monads

Finished Book of Monads by Alejandro Serrano-Mena

Haskell

ctfp-book-club

Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski

Rust

chiroptical

About me

polysemy-playground

Attempting to write a simple REST API using Polysemy

Haskell

snail

A programming language for gastropods

Haskell

optics-by-example

Working through https://leanpub.com/optics-by-example by Chris Penner

Haskell

neovim-setup

Moving from vim to neovim

Nix

functional-programming-made-easier

Working through Charles Scalfani's book "Functional Programming Made Easier" https://leanpub.com/fp-made-easier

Dhall

elm-in-action

Working through the book "Elm in Action" by Richard Feldman

Elm

nix-tutorial

A tutorial for beginners looking to tackle Nix

snailscheme

A read friendly Scheme implementation

Haskell

slurm-bank

Implementation of Gold-like Bank with Proposals for Slurm in Python

Python

domain-modeling-made-functional

Working through "Domain Modeling Made Functional" by Scott Wlaschin

Nix

derive-has-field

Haskell

nolecture-notebooks

The nolecture Introductory and Pandas Notebook

Jupyter Notebook

stream

What am I working on?

cataract

Haskell

purescript-2048

A semi-functional implementation of the game 2048 in Purescript

Nix

essentials-of-compilation

A gastropod approaches https://mitpress.mit.edu/9780262047760/essentials-of-compilation

Haskell

texcollab

A LaTeX/Git wrapper for the "Advisor-Student/s Merge-less" model

Shell

slurm-proposals

A proposal system for Slurm written in Haskell

Haskell

cuda-examples

A directory for fun cuda examples in C++ (ideally)

Cuda

nix-haskell-template

My current flake Haskell template

Nix

multi-array-testing

C++

get-programming-with-haskell

Haskell

parser-combinators-haskell-trifecta-intro

Baby's First Parser Combinators with Haskell and Trifecta

TeX

algorithm-design-with-haskell

Haskell

chapel-playground

My playground for chapel programs

Chapel

pytorch-introduction

Working on a hands-on introduction to PyTorch

Jupyter Notebook

haskell-intro-type-safe-db-libs

Presentation for "An Introduction to Type-Safe Database Libraries in Haskell"

Haskell

unison-ask

nftree-eco-backend

The nftree.eco backend

Haskell

yesod-up-and-running

Haskell

practical-fp-in-scala

Scala

type-rodeo

A little quiz to complete once a month and harden our Haskell skills

recicipe

Haskell

kitty-config

My current Kitty configuration

unison-abilities

A lightning talk done for Pittsburgh Functional Programming Meetup

TeX

tapestry

TaPesTRY (Guided *T*our of *P*ython *T*h*R*ough jup*Y*ter)

Jupyter Notebook

swift.vim

Vim Script

advent-of-code-2023

Doing as much advent of code as I have time for in Haskell

Haskell

grocer

Flat-file JSON store designed for concurrent write access

Python

sam-basic-linux-workshop

Fall Workshop Series

TeX

haskell-persistent-esqueleto-mariadb-example

Haskell

enzyme

Haskell to {Language} Translator for Template Haskell Education

Haskell

just-recipes

Work in Progess, Website for viewing recipes (Haskell, Stack, Yesod, PostgreSQL)

Haskell

software-abstractions

Working through https://mitpress.mit.edu/9780262528900/software-abstractions by Daniel Jackson

Nix

bluesky_feed

Gleam

try_mist

Messing with backend stuff in gleam and mist

Gleam

haskell-programming-from-first-principles

My solutions to https://haskellbook.com

Haskell

crc-bank-2.0

A redesign of the proposal system

Python

chiroptical/thinking-with-types

chiroptical

Reviews

Repository Details

More Repositories