Ryxai

Jon Baum's repositories

automin

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

Language:TypeScript010

express-jdt-validator-middleware

Use AJV to parse json into Typescript objects.

Language:TypeScriptMIT01 1

harp

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

Language:PythonMIT020

a-painter

🎨 Paint in VR in your browser.

Language:JavaScriptMIT000

Chainmail

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

Language:C#010

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.

Language:IdrisNOASSERTION010

figaro

Figaro Programming Language and Core Libraries

Language:HTMLNOASSERTION000

idris-ct

formally verified category theory library

Language:IdrisAGPL-3.0000

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION010

idris2-internable

A string interning package for idris2

Language:IdrisMIT010

idris2-vim

Vim mode for Idris 2

Language:Vim Script000

incremental-ref

A library for incremental computations

Language:OCamlMIT000

ivy

The Unified Machine Learning Framework

Language:PythonApache-2.0000

js-dispatch

A node server for holding private js scripts

Language:TypeScript010

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.

Language:HTMLNOASSERTION000