katiejots's Stars
kiwiz/gkeepapi
An unofficial client for the Google Keep API.
adxsoft/TeelineMate
facebookincubator/Glean
System for collecting, deriving and working with facts about source code.
AndyA/node-sureflap
Sure Petcare API
haskell/haskell-language-server
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
czue/django-wedding-website
A django-powered wedding website and guest-management system
rampatra/wedding-website
Our Wedding Website š«
reHackable/awesome-reMarkable
A curated list of projects related to the reMarkable tablet
reHackable/maxio
Companion daemon for the reMarkableā¢ paper tablet
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
qfpl/hpython
Haskell language tools for Python
facebook/infer
A static analyzer for Java, C, C++, and Objective-C
stroan/haskell-libexpect
Haskell bindings to libexpect
haskell/haskell-ide-engine
The engine for haskell ide-integration. Not an IDE
HabitRPG/habitica
A habit tracker app which treats your goals like a Role Playing Game.
SergeyMorugin/ostagram
liamoc/dixi
A wiki based on firm theoretical foundations
nmilford/stormLauncher
Script to control the Dream Cheeky Storm & Thunder USB Missile Launchers in Linux.
iksaif/samsung-laptop-dkms
haliner/dvr-recover
Python-powered project helping you to recover recordings of digital video recorders
system-f/fp-course
Functional Programming Course
bfpg/cis194-yorgey-lectures
A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.
facebook/Haxl
A Haskell library that simplifies access to remote data, such as databases or web-based services.
openshift/origin-server
OpenShift 2 (deprecated)
hakimel/reveal.js
The HTML Presentation Framework
enjalot/tributary
rapid prototyping with d3.js
fantasyland/fantasy-land
Specification for interoperability of common algebraic structures in JavaScript
webcrank/webcrank.scala
Webmachine inspired toolkit for building http applications and services.
tonymorris/fp-course
Functional Programming Course
mariofusco/javaz
Java 8 lambda experiment