• This repository has been archived on 30/May/2019
  • Stars
    star
    1
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 9 years ago

Reviews

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

Repository Details

๐Ÿงช LiquidHaskell project work for Google Summer of Code 2015 (retired)

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

liquidhaskell-cabal

๐Ÿ’ง Liquid Haskell integration for Cabal and Stack
Haskell
24
star
5

lavender

๐Ÿ’œ The slightly more compromising Python code formatter
Python
10
star
6

hyper-websocket

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

fantasque-sans-ligatures

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

liquidhaskell-cabal-demo

๐Ÿšค Test drive Liquid Haskell integration for Cabal and Stack
Haskell
6
star
9

nemo-owncloud

๐Ÿ  ownCloud plugin for the Nemo file manager (retired)
Python
4
star
10

instapaper-sender

๐Ÿ“ฐ Basic HTTP gateway to save articles to Instapaper
Haskell
3
star
11

diagrams-wx

๐Ÿ“Š Backend for rendering diagrams in wxWidgets with Haskell
Haskell
3
star
12

runstone

โŒš Android + Pebble app for timing my morning run
Kotlin
3
star
13

tokio-dbus

๐ŸšŒ Rust async D-Bus client built on Tokio (unfinished)
Rust
2
star
14

websocket-transport

๐Ÿ“ป Easy async WebSocket wrapper which implements Stream + Sink for String
Rust
2
star
15

node-firewatch.camera

๐Ÿ“ท API client for firewatch.camera
JavaScript
2
star
16

tracelogger-tools

๐Ÿ‘ฃ Toolkit for working with SpiderMonkey's Tracelogger
JavaScript
1
star
17

af_lwn

๐Ÿง LWN.net plugin for Tiny Tiny RSS
PHP
1
star
18

locksmart-api

๐Ÿ”’ API client for the Dog & Bone LockSmart service
JavaScript
1
star
19

mozilla-unified

๐ŸฆŠ Personal development fork of the Mozilla monorepo
1
star
20

graphology-graphml

GRAPHML parser & writer for graphology.
JavaScript
1
star
21

glyph-editor

๐Ÿงฌ GUI editor for the Glyph handwriting synthesis engine (unfinished)
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