• Stars
    star
    1
  • Language
    Python
  • Created over 4 years ago
  • Updated about 2 years ago

Reviews

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

Repository Details

A redesign of the proposal system

More Repositories

1

declarative-programming-streams

Active streaming declarative programmers. See who's online at the following URL:
Haskell
67
star
2

thinking-with-types

Working through the Thinking with Types book in Haskell
Haskell
34
star
3

book-of-monads

Finished Book of Monads by Alejandro Serrano-Mena
Haskell
26
star
4

ctfp-book-club

Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski
Rust
24
star
5

chiroptical

About me
17
star
6

polysemy-playground

Attempting to write a simple REST API using Polysemy
Haskell
12
star
7

snail

A programming language for gastropods
Haskell
12
star
8

optics-by-example

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

neovim-setup

Moving from vim to neovim
Nix
8
star
10

functional-programming-made-easier

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

elm-in-action

Working through the book "Elm in Action" by Richard Feldman
Elm
7
star
12

nix-tutorial

A tutorial for beginners looking to tackle Nix
7
star
13

snailscheme

A read friendly Scheme implementation
Haskell
7
star
14

slurm-bank

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

domain-modeling-made-functional

Working through "Domain Modeling Made Functional" by Scott Wlaschin
Nix
6
star
16

derive-has-field

Haskell
6
star
17

nolecture-notebooks

The nolecture Introductory and Pandas Notebook
Jupyter Notebook
5
star
18

stream

What am I working on?
5
star
19

cataract

Haskell
5
star
20

purescript-2048

A semi-functional implementation of the game 2048 in Purescript
Nix
4
star
21

essentials-of-compilation

A gastropod approaches https://mitpress.mit.edu/9780262047760/essentials-of-compilation
Haskell
3
star
22

texcollab

A LaTeX/Git wrapper for the "Advisor-Student/s Merge-less" model
Shell
3
star
23

slurm-proposals

A proposal system for Slurm written in Haskell
Haskell
3
star
24

cuda-examples

A directory for fun cuda examples in C++ (ideally)
Cuda
3
star
25

nix-haskell-template

My current flake Haskell template
Nix
2
star
26

multi-array-testing

C++
2
star
27

get-programming-with-haskell

Haskell
2
star
28

parser-combinators-haskell-trifecta-intro

Baby's First Parser Combinators with Haskell and Trifecta
TeX
2
star
29

algorithm-design-with-haskell

Haskell
2
star
30

chapel-playground

My playground for chapel programs
Chapel
2
star
31

pytorch-introduction

Working on a hands-on introduction to PyTorch
Jupyter Notebook
2
star
32

haskell-intro-type-safe-db-libs

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

unison-ask

1
star
34

nftree-eco-backend

The nftree.eco backend
Haskell
1
star
35

yesod-up-and-running

Haskell
1
star
36

practical-fp-in-scala

Scala
1
star
37

type-rodeo

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

recicipe

Haskell
1
star
39

kitty-config

My current Kitty configuration
1
star
40

unison-abilities

A lightning talk done for Pittsburgh Functional Programming Meetup
TeX
1
star
41

tapestry

TaPesTRY (Guided *T*our of *P*ython *T*h*R*ough jup*Y*ter)
Jupyter Notebook
1
star
42

swift.vim

Vim Script
1
star
43

advent-of-code-2023

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

grocer

Flat-file JSON store designed for concurrent write access
Python
1
star
45

sam-basic-linux-workshop

Fall Workshop Series
TeX
1
star
46

haskell-persistent-esqueleto-mariadb-example

Haskell
1
star
47

enzyme

Haskell to {Language} Translator for Template Haskell Education
Haskell
1
star
48

just-recipes

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

software-abstractions

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

bluesky_feed

Gleam
1
star
51

try_mist

Messing with backend stuff in gleam and mist
Gleam
1
star
52

haskell-programming-from-first-principles

My solutions to https://haskellbook.com
Haskell
1
star