ryxai Goto Github PK

a-painter

🎨 Paint in VR in your browser.

adnotes

Notes on Active Directory setup configuration management and use

applied-deep-learning

Applied Deep Learning Course

apq

An aliased priority queue i.e. allowing any items to be used as keys to queues

autodub

Provide some audio files and use them to dub the melody of another track. Make bad music worse. WIP

automin

Local web hook routing server, helps to map APIs. "Webhooks come in, webhooks go out. You can't explain that."

chainmail

An app to retrieve the text message threads from a Message's chat.db currently in pre-release. Documentation and tests to come

collapsing-towers

Collapsing Towers of Interpreters

ditto

A port of Control.Isomorphism from idris 1 to 2 for temporary usage. Once idris2 reaches greater maturity this package will be deprecated in favor of using the base library when its added.

drivetest

A simple drive fitness test, designed to allow multiple drive types for testing

enumjs

A simple enumerator based on one available from the MSDN Documentation API, Used in some of my other projects

express-jdt-validator-middleware

Use AJV to parse json into Typescript objects.

figaro

Figaro Programming Language and Core Libraries

harp

Actor based vm building framework. Define components, connect them and watch it go. WIP

heapqueue

Simple heapqueue implementation in python with usable key function. Designed to remove the explicit use of tuples and key functions to get around this in the heapq implementation.

idris-ct

formally verified category theory library

idris-dev

A Dependently Typed Functional Programming Language

idris2

A purely functional programming language with first class types

idris2-internable

A string interning package for idris2

idris2-vim

Vim mode for Idris 2

idris_book_notes

Notes/Exercises from the book Type Driven Development in Idris

incremental-ref

A library for incremental computations

init.vim

Neovim init file

ivy

The Unified Machine Learning Framework

js-dispatch

A node server for holding private js scripts

jsrsasign

The 'jsrsasign' (RSA-Sign JavaScript Library) is an opensource free cryptography library supporting RSA/RSAPSS/ECDSA/DSA signing/validation, ASN.1, PKCS#1/5/8 private/public key, X.509 certificate, CRL, OCSP, CMS SignedData, TimeStamp, CAdES JSON Web Signature/Token in pure JavaScript.

jstor

A javascript implementation of the bittorrent protocol

klickbrickryx

ladp

Languages and Abstractions for Distributed Programming

majoras_junk

Old project for the release of majoras mask, was hosted at majorasmask.neocities.com, is now hopelessly borked.