+
Skip to content
View katiejots's full-sized avatar

Organizations

@bfpg @pressgang-ccms @pressgang-belay @voxel

Block or report katiejots

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An unofficial client for the Google Keep API.

Python 1,596 120 Updated Apr 18, 2024

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

Hack 1,226 69 Updated Jul 15, 2025

Sure Petcare API

JavaScript 1 Updated Jul 7, 2022

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

Haskell 2,816 398 Updated Jul 16, 2025

A django-powered wedding website and guest-management system

HTML 479 283 Updated Jun 24, 2024

Our Wedding Website 👫

HTML 1,734 1,023 Updated Apr 18, 2025

A curated list of projects related to the reMarkable tablet

6,812 232 Updated Jul 2, 2025

Companion daemon for the reMarkable™ paper tablet

Shell 161 53 Updated May 5, 2022

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

TeX 11,290 614 Updated Jul 9, 2025

Haskell language tools for Python

Python 160 16 Updated Mar 23, 2020

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

OCaml 15,282 2,036 Updated Jul 16, 2025

Haskell bindings to libexpect

Shell 5 2 Updated Oct 3, 2012

The engine for haskell ide-integration. Not an IDE

Haskell 2,371 205 Updated Dec 23, 2020

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

JavaScript 13,068 4,250 Updated Jul 16, 2025
JavaScript 1,072 204 Updated Feb 26, 2022

A wiki based on firm theoretical foundations

Haskell 51 2 Updated May 16, 2016

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

Python 59 21 Updated Apr 23, 2015

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

Python 43 9 Updated Aug 4, 2022

Functional Programming Course

Haskell 4,198 1,195 Updated Dec 2, 2024

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

145 5 Updated Jan 5, 2017

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

Haskell 4,308 312 Updated May 7, 2025

OpenShift 2 (deprecated)

Ruby 884 511 Updated Mar 9, 2023

The HTML Presentation Framework

JavaScript 69,136 16,738 Updated Jun 8, 2025

rapid prototyping with d3.js

JavaScript 596 70 Updated May 3, 2017

Specification for interoperability of common algebraic structures in JavaScript

JavaScript 10,203 378 Updated Nov 10, 2024

Webmachine inspired toolkit for building http applications and services.

Shell 8 1 Updated May 2, 2013

Functional Programming Course

Haskell 1,032 132 Updated Mar 6, 2023

Java 8 lambda experiment

Java 14 7 Updated Jun 29, 2014
Next
点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载