Skip to content
View mankyKitty's full-sized avatar

Highlights

  • Pro

Block or report mankyKitty

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

k/simple is a bare minimum k interpreter for learning purposes by arthur whitney

C 351 24 Updated Sep 26, 2024

A stack-based array programming language

Rust 1,718 124 Updated Jan 19, 2025

An experiment in improving node packaging for nix. Dead simple.

Nix 43 2 Updated Sep 4, 2024

Efficient C++ implementation of the Cassowary constraint solving algorithm

C++ 697 92 Updated Jan 14, 2025

High-confidence browser testing

Python 380 18 Updated Aug 18, 2024

A multimedia sketchpad

C 1,141 62 Updated Dec 31, 2024

Ridiculous addon for Godot Engine 4 that adds screenshake and explosions to your coding experience

GDScript 892 31 Updated Nov 23, 2024

Learn the Zig programming language by fixing tiny broken programs.

4,371 474 Updated Aug 21, 2024

Emacs Mini-Buffer Actions Rooted in Keymaps

Emacs Lisp 978 59 Updated Oct 3, 2024

Yet another modal editing on Emacs / 猫态编辑

Emacs Lisp 1,263 139 Updated Jan 21, 2025

Simple, hackable offline speech to text - using the VOSK-API.

Python 1,345 108 Updated Jan 22, 2025

The Flix Programming Language

Scala 2,212 157 Updated Jan 22, 2025

Git branches made easy

Go 2,693 111 Updated Jan 21, 2025

Unofficial Rust SDK for the Pimoroni PicoSystem

Rust 14 4 Updated Sep 21, 2023

Javascript DOM bindings for Idris2

Idris 51 8 Updated Jun 3, 2024

Vim for Sublime Text.

Python 691 43 Updated Nov 27, 2024

lints and suggestions for the nix programming language

Rust 590 23 Updated Nov 29, 2024

Haskell bindings for the W3C WebDriver API

Haskell 22 11 Updated Aug 19, 2024

A native compiler backend for PureScript (via C++ or Golang)

Haskell 634 40 Updated Mar 28, 2023

Easy PureScript (and other tools) with Nix

Nix 198 56 Updated Mar 11, 2024
Nix 15 6 Updated Jun 21, 2022

Easy Haskell Language Server tooling with Nix!

Nix 55 11 Updated Mar 1, 2022

⭐️ Companies that don't have a broken hiring process

JavaScript 47,150 3,670 Updated Jan 10, 2025

(neo)vim plugin that uses fzf for previewing hoogle search results

Vim Script 41 8 Updated May 1, 2022

Fixedsys Excelsior font with programming ligatures

Makefile 1,027 52 Updated Mar 5, 2023

Pretty-print error messages of the ATS Compiler

ATS 32 3 Updated Jun 28, 2019

generate typeclass test suites using hedgehog-classes and ghc-api

Haskell 4 Updated Jul 17, 2019

A dependently typed programming language, a successor to Idris

Idris 900 57 Updated Aug 11, 2020

UI experiments for coda

Haskell 66 4 Updated Sep 23, 2021

A language experiment -- irc.freenode.net ##coda

Haskell 162 14 Updated Apr 10, 2024
Next
Showing results