• Stars
    star
    22
  • Rank 1,048,934 (Top 21 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 14 years ago
  • Updated almost 7 years ago

Reviews

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

Repository Details

A compiler for a strongly typed, haskell-like functional language

More Repositories

1

hsirc

Haskell irc library
Haskell
20
star
2

easy-smt

Easy SMT solver interaction
Rust
20
star
3

hsopenid

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

stm32f4

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

located

Source location helpers
Haskell
9
star
6

huff

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

llvm-threading

Cooperative threading in llvm
Haskell
8
star
8

rogue

A rogue-like game
Haskell
8
star
9

layout-rules

Layout implementations
Haskell
8
star
10

rendrs

A raytracer in rust
Rust
6
star
11

vim-config

My .vim directory
Vim Script
6
star
12

rules_tree_sitter

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

clutter

Haskell bindings to the clutter library
Haskell
4
star
14

sprites

Haskell Sprite Library
Haskell
3
star
15

love-water

Water rippling in love2d
Lua
3
star
16

elliottt.github.io

HTML
3
star
17

two-trucs

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

love-experiments

My experiments with lΓΆve
Lua
3
star
19

llvm-pretty-lint

A lint for llvm-pretty
Haskell
3
star
20

hol-light-haskell

A haskell translation of hol-light
Haskell
3
star
21

din

Music Player
Haskell
3
star
22

vim-haskell

Haskell support for vim
Vim Script
3
star
23

tmux-config

Shell
2
star
24

aoc

C++
2
star
25

zsh-config

Shell
2
star
26

remake

Continuous rebuilding
Haskell
2
star
27

ak

Command-line task management package
Haskell
2
star
28

dotfiles

Lua
2
star
29

bembo

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

airplanes

Foam airplane designs
1
star
31

sketchup-airfoil

SketchUp importer for the UIUC Airfoil format
Ruby
1
star
32

funjit

A jit compiler for befunge
Rust
1
star
33

story

Experimental Story Planner
Haskell
1
star
34

blank-slate

Graphics library for haskell
Haskell
1
star
35

tagged_ptr

Generalized tagged pointers
C++
1
star
36

plar

Examples from "Handbook of Practical Logic and Automated Reasoning"
Haskell
1
star
37

pddl

A PDDL parser for haskell
Haskell
1
star