Focus on prompting and generating

A Python library for the Blink Camera system

A strongly-typed, functional rendering/game engine

📖 A collection of pure bash alternatives to external processes.

A Tunnel which Turns UDP Traffic into Encrypted UDP/FakeTCP/ICMP Traffic by using Raw Socket,helps you Bypass UDP FireWalls(or Unstable UDP Environment)

Store securely encrypted backups in the cloud!

DEPRECATED IN FAVOR OF haskell/ghcup-hs

Repository for "One log" talk

Transmitter for the Freestyle Libre FGM system

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Make JSON greppable!

Very low feature GHCi based IDE

Support alternative markup for Apache Maven POM files

backup a github user or organization

Command-line benchmark tool

Scala library for free applicative schemas capable of parsing/rendering sums-of-products data structures.

List of Call For Papers for IT conferences

This is an Aurora Surface built for the Aurora Game Hub

An Application Engine used to quickly build beautiful Java Desktop Applications

An Way To Manage, Play, Track and Experience your PC Games

A fast scala build tool

Monal for XMPP (iOS and macOS)

Restful harmony server to communicate with harmony hub.

A statusbar for syncthing on Mac OS X

Quark: An Embedded DSL for Quasar Analytics

1,895 Git aliases and scripts

Java library for creating text-based GUIs

A scala (2.11+) macro based ansi interpolator

Readings on computational logic, interactive theorem proving and functional programming.

Syntax Highlighter supporting multiple languages, themes, fonts, highlighting from a URL, local file or post text.