• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Nix
  • License
    GNU Affero Genera...
  • Created over 2 years ago
  • Updated over 2 years ago

Reviews

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

Repository Details

Haskell + Z3 SMT Solver demo

More Repositories

1

markovkeyboard

keyboard layout that changes by markov frequency
Emacs Lisp
318
star
2

fermatslastmargin

tool for creating and sharing annotations, using github for storage and social network
Haskell
87
star
3

ghclive

Google Summer of Code 2012 project, GHCi for the web
JavaScript
52
star
4

bloohm

visual bloom filter to display process status as neotrellis m4 output
Nix
26
star
5

sandwatch

Remember how long commands take, tell me if I have enough time to make a sandwich
Nix
25
star
6

kudzu

coverage driven random testing framework
Nix
20
star
7

trynocular

lazy generators with observation
Haskell
15
star
8

usehaskellfromc

write Haskell code, call it from C code
Haskell
12
star
9

takedouble

duplicate file finder
Haskell
11
star
10

sandsieve

webapp for uploading and collating output of https://github.com/xoreaxeaxeax/sandsifter
Haskell
10
star
11

hlsexamples

Example files demonstrating haskell-language-server features
Nix
7
star
12

aoc2019

Advent of Code 2019 in Haskell
Haskell
6
star
13

adventofcode2018

advent of code 2018 Haskell solutions
Haskell
5
star
14

spookel

prototype of research paper annotation tool
Haskell
5
star
15

sporkle

REST API demo in Haskell / Spock
Haskell
4
star
16

BookWords

Simple Haskell tutorial
Haskell
4
star
17

hammingonhamming

let's chat about Hamming's book on style!
Python
4
star
18

tictactoa

random tictactoe game
Haskell
3
star
19

deriving-date

deriving-date for custom FromJSON date-time formats
Haskell
3
star
20

nitflixx

create csv output from your netflixx.com/viewingactivity page
Haskell
3
star
21

echoloc

Haskell
3
star
22

HArdalarm

Haskell + Arduino alarm clock
Arduino
2
star
23

extralogical.net

My home page.
Haskell
2
star
24

hamming2024

2
star
25

ScannedInAvianReadingGroup

A repository for notes for the #ScannedInAvian reading group
Scheme
2
star
26

metalogo

metaprogramming in logo
Nix
2
star
27

schrabble

Haskell solver for https://github.com/benjamincrom/scrabble
Haskell
2
star
28

shapr.github.io

my personal blog
HTML
2
star
29

aoc2020

Advent of Code 2020, using nix and Haskell
1
star
30

some_repo

some description
1
star
31

bmnhs

beggar my neighbor haskell
1
star
32

flomp

it's anything at all
1
star
33

protostream

try out streaming with hinotify
Haskell
1
star
34

bmnrs

fast beggar my neighbor in rust
Rust
1
star
35

wreq-it

tiny curl clone in Haskell
Nix
1
star
36

foozle

purely a test
1
star
37

tmuxmarta

tmux plugin for marta updates
Haskell
1
star
38

easystart

Haskell code that reads from a file, runs a function on the file, then prints out the result to the screen
Haskell
1
star
39

graphreductionhardware

ten minute talk with many references for further exploration
1
star
40

adventofcode2016

http://adventofcode.com/2016/
Haskell
1
star
41

aoc2023-rust

Advent of Code 2023 in Rust
Nix
1
star
42

httplogmonitor

http console log monitor
Haskell
1
star
43

sicp

Exercises and Notes for _Structure and Interpretation of Computer Programs_ by Abelson, Sussman, and Sussman
1
star
44

randomtesting

presentation about random testing in Haskell, with bonus content
Haskell
1
star
45

katas

Katas from http://codekata.com/
Haskell
1
star
46

maestrostick

repl for a config thingy
Haskell
1
star
47

shaexmonad

shapr's xmonad setup for ubuntu 19.04
Haskell
1
star
48

scannedinavian

My blog at www.scannedinavian.com
1
star
49

WordCount

literate Haskell (LaTeX) WordCount demo I did for a programming languages university class.
Haskell
1
star