Skip to content
View jn80842's full-sized avatar

Block or report jn80842

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

A collection of tabletrobotface apps for running a human robot interaction user study

JavaScript 1 1 Updated Jul 17, 2020

An introduction to programming language theory in Agda

Agda 1,415 330 Updated Mar 24, 2025

ShellCheck, a static analysis tool for shell scripts

Haskell 37,142 1,800 Updated Dec 14, 2024

A tool for thinking in systems

JavaScript 1,666 218 Updated Jul 8, 2024

JavaScript Regular expressions made easy

JavaScript 12,161 504 Updated Aug 7, 2024

Flow-based programming for JavaScript

JavaScript 3,522 265 Updated Apr 7, 2024

Speak to your editor.

F# 420 29 Updated Sep 9, 2020
1 Updated Jun 2, 2012

A (tampering) proxy server for Apple's Siri

Ruby 2,119 342 Updated Sep 30, 2016

Git for Humans, Inspired by GitHub for Mac™.

Python 5,702 214 Updated Oct 9, 2023

TODO: one-line summary of your gem

Ruby 1 Updated May 5, 2011

Rails 3 app for playing the board game Go online.

Ruby 140 22 Updated Nov 11, 2020

DEPRECATED - Build desktop applications with web technologies.

JavaScript 760 116 Updated Oct 15, 2019

A privacy-aware, distributed, open source social network.

Ruby 13,458 2,920 Updated Jan 23, 2025

Web Development Evolved - The Firebug you have known and loved

JavaScript 1,355 341 Updated May 14, 2020

A read-eval-print-loop for php

Emacs Lisp 1,153 140 Updated May 14, 2014

Game written in Ruby for learning Ruby.

Ruby 3,858 836 Updated Mar 27, 2024
Showing results