Giters
toonn

toonn

Geek Repo

59

followers

19

following

102

stars

Github PK Tool:Github PK Tool

Organizations
ranger

toonn's starred repositories

photoprism

AI-Powered Photos App for the Decentralized Web 🌈💎✨

Language:GoLicense:NOASSERTIONStargazers:34728Issues:336Issues:2183

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:34040Issues:516Issues:7605

coreutils

Cross-platform Rust rewrite of the GNU coreutils

Language:RustLicense:MITStargazers:17565Issues:194Issues:1575

kmonad

An advanced keyboard manager

Language:HaskellLicense:MITStargazers:3902Issues:37Issues:588

mgmt

Next generation distributed, event-driven, parallel config management!

Language:GoLicense:GPL-3.0Stargazers:3585Issues:96Issues:274

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:2289Issues:55Issues:790

taskell

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Language:HaskellLicense:BSD-3-ClauseStargazers:1722Issues:26Issues:0

sops-nix

Atomic secret provisioning for NixOS based on sops

Language:NixLicense:MITStargazers:1533Issues:14Issues:168

Simple-Comic

OS X comic viewer

Language:Objective-CLicense:MITStargazers:1088Issues:70Issues:121

enigma

An Erlang VM implementation in Rust

Language:RustLicense:MPL-2.0Stargazers:1042Issues:56Issues:28

stylish-haskell

Haskell code prettifier

Language:HaskellLicense:NOASSERTIONStargazers:983Issues:16Issues:282

ormolu

A formatter for Haskell source code

Language:HaskellLicense:NOASSERTIONStargazers:953Issues:34Issues:554

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLLicense:NOASSERTIONStargazers:945Issues:45Issues:476

swarm

Resource gathering + programming game

Language:JavaScriptLicense:NOASSERTIONStargazers:835Issues:15Issues:752

urweb

The Ur/Web programming language

Language:Standard MLLicense:NOASSERTIONStargazers:808Issues:35Issues:154

nix-bundle

Bundle Nix derivations to run anywhere!

Language:NixLicense:MITStargazers:633Issues:28Issues:72

hindent

Haskell pretty printer

Language:HaskellLicense:NOASSERTIONStargazers:559Issues:12Issues:391

8VIM

A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.

Language:KotlinLicense:Apache-2.0Stargazers:473Issues:21Issues:244

squeal

Squeal, a deep embedding of SQL in Haskell

Language:HaskellStargazers:350Issues:17Issues:128

impossible-objects

Using math to make objects that look different / optical illusions

Language:JavaScriptStargazers:287Issues:8Issues:2

nix-processmgmt

Experimental Nix-based process management framework

Language:NixLicense:MITStargazers:239Issues:23Issues:3

hadrian

Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!

Language:HaskellLicense:MITStargazers:208Issues:18Issues:416

tiny-games-hs

Haskell Tiny Game Jam

Language:HaskellStargazers:159Issues:12Issues:27

toxvpn

A client / server for a Tox-based VPN. Run the server on one computer, copy the public key, and run the client (with that key) on another computer, and it should Just Work™.

Language:C++License:GPL-3.0Stargazers:130Issues:22Issues:30

ghc-nix

Exploring the options for incremental Haskell builds using Nix

Language:HaskellLicense:MITStargazers:106Issues:15Issues:7

tisch

Type-safe SQL interactions with PostgreSQL, based on Opaleye.

Language:HaskellLicense:Apache-2.0Stargazers:54Issues:6Issues:26

jijo

Bidirectional JSON serialization

Language:HaskellLicense:NOASSERTIONStargazers:40Issues:7Issues:2

soph

Efficiently import pictures while handling duplicates gracefully

Language:HaskellLicense:MITStargazers:10Issues:4Issues:7

openkrosskod

An opensource engine for the game CrossCode (I want to believe)

Language:RustLicense:MITStargazers:6Issues:1Issues:0

polytype

Polymorphic Teletype

Language:HaskellLicense:BSD-3-ClauseStargazers:3Issues:0Issues:0