Pinned Repositories
automin
Local web hook routing server, helps to map APIs. "Webhooks come in, webhooks go out. You can't explain that."
express-jdt-validator-middleware
Use AJV to parse json into Typescript objects.
harp
Actor based vm building framework. Define components, connect them and watch it go. WIP
JSTOR
A javascript implementation of the bittorrent protocol
Phazar
A phase vocoder implementation in python
Tafelmusik
A runner library for writing quick and dirty command line tools in C#
Unhasher
A toy tree search to reverse iterative hashes. Designed to simultaneously evaluate collisions and find all potential initial inputs
Ryxai's Repositories
Ryxai/automin
Local web hook routing server, helps to map APIs. "Webhooks come in, webhooks go out. You can't explain that."
Ryxai/express-jdt-validator-middleware
Use AJV to parse json into Typescript objects.
Ryxai/harp
Actor based vm building framework. Define components, connect them and watch it go. WIP
Ryxai/a-painter
🎨 Paint in VR in your browser.
Ryxai/Applied-Deep-Learning
Applied Deep Learning Course
Ryxai/Chainmail
An app to retrieve the text message threads from a Message's chat.db currently in pre-release. Documentation and tests to come
Ryxai/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.
Ryxai/figaro
Figaro Programming Language and Core Libraries
Ryxai/idris-ct
formally verified category theory library
Ryxai/Idris2
A purely functional programming language with first class types
Ryxai/idris2-internable
A string interning package for idris2
Ryxai/idris2-vim
Vim mode for Idris 2
Ryxai/incremental-ref
A library for incremental computations
Ryxai/init.vim
Neovim init file
Ryxai/ivy
The Unified Machine Learning Framework
Ryxai/js-dispatch
A node server for holding private js scripts
Ryxai/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.
Ryxai/nordish
A roam research theme based on the nord one by elode.
Ryxai/pancham
Low level byte-order ops for networking and Bit-rotation for Idris2 via ffi
Ryxai/roam-model-render
A simple site to act as a renderer for modelviewer for roam-research
Ryxai/roam-utils
Hosting for some roam utility scripts. Currently has ext_min which extends smart blocks with additional commands.
Ryxai/roamjs-google
Ryxai/roamjs-googletasks
Personal Roam Research Sync with Google Tasks WIP currently personal only no external support
Ryxai/roamjs-smartblocks
Ryxai/ryxai.github.io
Blog
Ryxai/sableye
A lens library in Idris based off of EKmett's lens package, WIP
Ryxai/Scruff.jl
Scruff.jl
Ryxai/smartblocks
A repository for updating and handling issues with published smart blocks (Roam Research smart blocks)
Ryxai/webapps-deploy
Enable GitHub developers to deploy to Azure WebApps using GitHub Actions
Ryxai/Zotero2Readwise-Sync
An automated and scheduled trigger of Zotero2Readwise Python library (https://github.com/e-alizadeh/Zotero2Readwise)