spinda/liquidhaskell-cabal spinda/liquidhaskell-cabal

  • Stars
    star
    24
  • Rank 982,218 (Top 20 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
spinda/liquidhaskell-cabal
github

spinda

Reviews

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

Repository Details

πŸ’§ Liquid Haskell integration for Cabal and Stack

More Repositories

1

Destroy-Windows-10-Spying

πŸ•΅οΈ Known clean fork of Nummer/Destroy-Windows-10-Spying (retired)
C#
197
star
2

react-redux-chatgpt

πŸ€– Prototype your webapp's frontend by using ChatGPT as your backend
JavaScript
38
star
3

imagenetscraper

πŸ‘ Bulk-download all thumbnails from an ImageNet synset, with optional rescaling
Python
25
star
4

lavender

πŸ’œ The slightly more compromising Python code formatter
Python
10
star
5

hyper-websocket

πŸ”Œ Upgrade hyper HTTP requests to WebSocket connections, server-side
Rust
9
star
6

fantasque-sans-ligatures

πŸ“ Coding-ligature-free fork of the Fantasque Sans Mono programming font
Python
8
star
7

liquidhaskell-cabal-demo

🚀 Test drive Liquid Haskell integration for Cabal and Stack
Haskell
6
star
8

nemo-owncloud

🐠 ownCloud plugin for the Nemo file manager (retired)
Python
4
star
9

instapaper-sender

πŸ“° Basic HTTP gateway to save articles to Instapaper
Haskell
3
star
10

diagrams-wx

πŸ“Š Backend for rendering diagrams in wxWidgets with Haskell
Haskell
3
star
11

runstone

⌚ Android + Pebble app for timing my morning run
Kotlin
3
star
12

tokio-dbus

🚌 Rust async D-Bus client built on Tokio (unfinished)
Rust
2
star
13

websocket-transport

πŸ“» Easy async WebSocket wrapper which implements Stream + Sink for String
Rust
2
star
14

node-firewatch.camera

πŸ“· API client for firewatch.camera
JavaScript
2
star
15

tracelogger-tools

πŸ‘£ Toolkit for working with SpiderMonkey's Tracelogger
JavaScript
1
star
16

af_lwn

🐧 LWN.net plugin for Tiny Tiny RSS
PHP
1
star
17

locksmart-api

πŸ”’ API client for the Dog & Bone LockSmart service
JavaScript
1
star
18

mozilla-unified

🦊 Personal development fork of the Mozilla monorepo
1
star
19

graphology-graphml

GRAPHML parser & writer for graphology.
JavaScript
1
star
20

glyph-editor

🧬 GUI editor for the Glyph handwriting synthesis engine (unfinished)
Haskell
1
star
21

liquidhaskell-lang

πŸ§ͺ LiquidHaskell project work for Google Summer of Code 2015 (retired)
Haskell
1
star
22

ws-pacemaker

πŸ’— Drop-in WebSocket ping/pong heartbeat handling for Node.js
JavaScript
1
star
23

glyph

✍️ Handwriting synthesis in Haskell (unfinished)
Haskell
1
star