katiejots

katiejots's Stars

• kiwiz/gkeepapi

  An unofficial client for the Google Keep API.

  Language:Python1.5k112

• adxsoft/TeelineMate

  163

• facebookincubator/Glean

  System for collecting, deriving and working with facts about source code.

  Language:Hack92443

• AndyA/node-sureflap

  Sure Petcare API

  Language:JavaScript1

• haskell/haskell-language-server

  Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

  Language:Haskell2.6k354

• czue/django-wedding-website

  A django-powered wedding website and guest-management system

  Language:HTML452269

• rampatra/wedding-website

  Our Wedding Website 👫

  Language:HTML1.6k910

• reHackable/awesome-reMarkable

  A curated list of projects related to the reMarkable tablet

  6k204

• reHackable/maxio

  Companion daemon for the reMarkable™ paper tablet

  Language:Shell15551

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k578

• qfpl/hpython

  Haskell language tools for Python

  Language:Python15716

• facebook/infer

  A static analyzer for Java, C, C++, and Objective-C

  Language:OCaml14.9k2k

• stroan/haskell-libexpect

  Haskell bindings to libexpect

  Language:Shell52

• haskell/haskell-ide-engine

  The engine for haskell ide-integration. Not an IDE

  Language:Haskell2.4k212

• HabitRPG/habitica

  A habit tracker app which treats your goals like a Role Playing Game.

  Language:JavaScript11.7k4k

• SergeyMorugin/ostagram

  Language:JavaScript1.1k205

• liamoc/dixi

  A wiki based on firm theoretical foundations

  Language:Haskell522

• nmilford/stormLauncher

  Script to control the Dream Cheeky Storm & Thunder USB Missile Launchers in Linux.

  Language:Python5923

• iksaif/samsung-laptop-dkms

  Language:C133

• haliner/dvr-recover

  Python-powered project helping you to recover recordings of digital video recorders

  Language:Python409

• system-f/fp-course

  Functional Programming Course

  Language:Haskell4.1k1.2k

• bfpg/cis194-yorgey-lectures

  A collection of links to our talk series based on Brent Yorgey's CIS194 lectures.

  1455

• facebook/Haxl

  A Haskell library that simplifies access to remote data, such as databases or web-based services.

  Language:Haskell4.2k313

• openshift/origin-server

  OpenShift 2 (deprecated)

  Language:Ruby889516

• hakimel/reveal.js

  The HTML Presentation Framework

  Language:JavaScript67.5k16.6k

• enjalot/tributary

  rapid prototyping with d3.js

  Language:JavaScript59671

• fantasyland/fantasy-land

  Specification for interoperability of common algebraic structures in JavaScript

  Language:JavaScript10.1k374

• webcrank/webcrank.scala

  Webmachine inspired toolkit for building http applications and services.

  Language:Shell81

• tonymorris/fp-course

  Functional Programming Course

  Language:Haskell1k133

• mariofusco/javaz

  Java 8 lambda experiment

  Language:Java147