SamuelSchlesinger/sql-exercises SamuelSchlesinger/sql-exercises

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 4 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
SamuelSchlesinger/sql-exercises
github

SamuelSchlesinger

Reviews

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

Repository Details

Some SQL exercises using the squeal deep embedding of postgresql into Haskell.

More Repositories

1

Complexity-Resources

Resources and notes on computational complexity theory
TeX
37
star
2

commander-cli

A simple library I wrote to allow me to quickly and easily construct command line interfaces.
Haskell
27
star
3

gaia

An experiment in functional interface design
Haskell
23
star
4

AutomataTheory

Haskell
21
star
5

summer

Extensible sums and products for Haskell
Haskell
19
star
6

HaskellTutorial

A Haskell tutorial directed towards Undergraduates studying Computer Science. A work in progress.
Haskell
16
star
7

stm-actor

An implementation of the actor model in Haskell using STM
Haskell
13
star
8

generic-match

An implementation of first-class pattern matches in Haskell.
Haskell
13
star
9

hs-ts

A simple example of integrating TypeScript and Haskell.
Haskell
13
star
10

stm-incremental

A very simple interface for incremental computation using STM in Haskell.
Haskell
11
star
11

Quickterm

Quick Haskell Command Line Interface
Haskell
8
star
12

positioning

A library for 3D grid coordinates: for games
Rust
7
star
13

stm-queue

A real-time concurrent queue
Haskell
5
star
14

gke-template

A template containing minimal example of using Haskell, Postgres, Redis, Docker, and Kubernetes
Haskell
5
star
15

haskell-performance

This is a grab-bag of haskell data structure and algorithm benchmarks.
HTML
4
star
16

paxos

Documenting my understanding of the Paxos algorithm for future reference
Haskell
4
star
17

gross

Easy terminal interfaces, emulating gloss
Haskell
3
star
18

Academic

A whole bunch of my more academic work
Haskell
3
star
19

Resources

Attempting to put some resources for myself in a place where they can stay and others can access them
Haskell
3
star
20

version-control

A version control system implemented from scratch in Rust.
Rust
3
star
21

erc20-bond

A bond implemented generically for any ERC20 compliant Ethereum contract.
Solidity
3
star
22

environment

A Haskell/Vim scripting environment
Haskell
2
star
23

doq

Doq: A World for an Table-Top RPG
2
star
24

cronus

Another bloated standard library.
Haskell
2
star
25

functional-programming-resources

some resources that have helped me learn functional programming
2
star
26

stg

An implementation of the spineless, tagless G-machine
Haskell
2
star
27

dungeon-crawler

A basic dungeon crawling game
JavaScript
2
star
28

Lispish

This is a weird lil language I wrote a parser and evaluator for
Haskell
2
star
29

ticket-management

A simple system for an individual managing tickets of work.
Haskell
2
star
30

biomass-breakout

A game about evolution, cooperation, and predation
Rust
1
star
31

my-xmonad-config

My XMonad Config!
Haskell
1
star
32

haskell-beginners

This is a repository for Haskell beginners to learn, with as much help as I can provide.
1
star
33

Components

Some Quickterm examples and components
Haskell
1
star
34

CIS194

Haskell
1
star
35

agda-math

Deprecated
Agda
1
star
36

explorer

A basic web scraper in Haskell
Haskell
1
star
37

geopolitik-backend

A Haskell implementation of the backend of Geopolitik, a website I want to make
HTML
1
star
38

Game

Game in Haskell
Haskell
1
star
39

martingale-anomaly-detection

A small project to use martingale sequences to detect anomalies in data streams.
Haskell
1
star
40

erc20-multi-key-safe

A way to securely hold ERC20 tokens with a number of addresses, forcing a subset of a given size of them to approve of any given withdrawal.
Solidity
1
star
41

Sudoku

A sudoku solver written with the Z3 SAT Solver
Haskell
1
star
42

DataStructures

some data structures idk
Haskell
1
star
43

memoization

Explorations with memoization in Haskell
Haskell
1
star
44

ver

Reconstruction in progress.
1
star
45

mtsl

An augmentation to mtl using explicit monad transformer stacks.
Haskell
1
star
46

AlgebraicHierarchy

An algebraic hierarchy of classes in Haskell
Haskell
1
star
47

user-system

A basic user system written in Haskell
Haskell
1
star
48

servant-restful

Basic RESTful resource APIs in servant.
Haskell
1
star
49

propositional-resolution

Some code I wrote to do some homework on propositional resolution
Haskell
1
star
50

union-find

Rust
1
star
51

website

A project to compile the knowledge I've gained into a website
1
star
52

haskell-server-template

A template for Haskell HTTP servers.
Haskell
1
star
53

mtl-uplift

A way to lift entire substacks of monad transformer stacks, boilerplate free!
Haskell
1
star
54

blake3-lamport-signatures

An implementation of Lamport/Merkle signatures in Rust using the BLAKE3 hash function.
Rust
1
star