• Stars
    star
    1
  • Language
    Haskell
  • Created about 10 years ago
  • Updated over 7 years ago

Reviews

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

Repository Details

Examples from "Handbook of Practical Logic and Automated Reasoning"

More Repositories

1

dang

A compiler for a strongly typed, haskell-like functional language
Haskell
22
star
2

hsirc

Haskell irc library
Haskell
20
star
3

easy-smt

Easy SMT solver interaction
Rust
20
star
4

hsopenid

A Haskell implementation of the OpenID 2.0 spec
Haskell
19
star
5

stm32f4

Basic support for developing with the STM32F4 Discovery board
C
12
star
6

located

Source location helpers
Haskell
9
star
7

huff

A fast-forward based planner for Haskell
Haskell
8
star
8

llvm-threading

Cooperative threading in llvm
Haskell
8
star
9

rogue

A rogue-like game
Haskell
8
star
10

layout-rules

Layout implementations
Haskell
8
star
11

rendrs

A raytracer in rust
Rust
6
star
12

vim-config

My .vim directory
Vim Script
6
star
13

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
Haskell
6
star
14

rules_tree_sitter

Bazel rules for building tree-sitter grammars
Starlark
5
star
15

clutter

Haskell bindings to the clutter library
Haskell
4
star
16

sprites

Haskell Sprite Library
Haskell
3
star
17

love-water

Water rippling in love2d
Lua
3
star
18

elliottt.github.io

HTML
3
star
19

two-trucs

A command-line tool for managing todo files written in markdown
Rust
3
star
20

love-experiments

My experiments with lรถve
Lua
3
star
21

llvm-pretty-lint

A lint for llvm-pretty
Haskell
3
star
22

hol-light-haskell

A haskell translation of hol-light
Haskell
3
star
23

din

Music Player
Haskell
3
star
24

vim-haskell

Haskell support for vim
Vim Script
3
star
25

tmux-config

Shell
2
star
26

aoc

C++
2
star
27

zsh-config

Shell
2
star
28

remake

Continuous rebuilding
Haskell
2
star
29

ak

Command-line task management package
Haskell
2
star
30

dotfiles

Lua
2
star
31

pddl

A PDDL parser for haskell
Haskell
1
star
32

bembo

A pretty printing library for c++
C++
1
star
33

airplanes

Foam airplane designs
1
star
34

sketchup-airfoil

SketchUp importer for the UIUC Airfoil format
Ruby
1
star
35

funjit

A jit compiler for befunge
Rust
1
star
36

story

Experimental Story Planner
Haskell
1
star
37

blank-slate

Graphics library for haskell
Haskell
1
star
38

tagged_ptr

Generalized tagged pointers
C++
1
star