Ryxai

followers

following

stars

Under there

Jon Baum's starred repositories

osquery

SQL powered operating system instrumentation, monitoring, and analytics.

Language:C++NOASSERTION21559 678 3311

roslyn

The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.

Language:C#MIT18756 1030 33074

dogecoin

very currency

Language:C++MIT14416 844 1240

ivy

The Unified AI Framework

Language:PythonNOASSERTION14026 70 16874

quine-relay

An uroboros program with 100+ programming languages

Language:Ruby13917 240 89

mal

mal - Make a Lisp

Language:AssemblyNOASSERTION9935 182 138

solid

Solid - Re-decentralizing the web (project directory)

Language:HTMLMIT8164 558 213

btcd

An alternative full node bitcoin implementation written in Go (golang)

Language:GoISC6119 249 791

plt

Programming Language Theory λΠ

Language:CSS5184 276 23

fuckitjs

The Original Javascript Error Steamroller

Language:JavaScript4081 53 32

FStar

A Proof-oriented Programming Language

Language:F*Apache-2.02658 80 1999

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

malware-samples

Malware samples, analysis exercises and other interesting resources.

Language:HTML1435 880

dogescript

wow so syntax very doge much future

Language:JavaScriptMIT1341 29 92

vimb

Vimb - the vim like browser is a webkit based web browser that behaves like the vimperator plugin for the firefox and usage paradigms from the great editor vim. The goal of vimb is to build a completely keyboard-driven, efficient and pleasurable browsing-experience.

Language:CGPL-3.01330 47 577

goodreads_etl_pipeline

An end-to-end GoodReads Data Pipeline for Building Data Lake, Data Warehouse and Analytics Platform.

Language:PythonMIT1261 250

cryptosphere

Encrypted peer-to-peer web application platform for decentralized, privacy-preserving applications

Language:RubyMIT1150 67 2

kit

Kit: a magical, high performance programming language, designed for game development.

Language:HaskellNOASSERTION1016 43 57

BPL

Bayesian Program Learning model for one-shot learning

Language:MatlabMIT971 1310

functionsimsearch

Some C++ example code to demonstrate how to perform code similarity searches using SimHashing.

Language:C++Apache-2.0556 43 13

capsule

The Capsule Hash Trie Collections Library

Language:JavaBSD-2-Clause404 30 23

3dmoo

3DS Emulator Prototype

Language:C181 58 12

pynq

Python implementation of Microsoft's .Net Language Integrated Query (LINQ)

Language:Python153 19 23

stylus

Lightweight status page for home infrastructure

Language:RustApache-2.0121 4 12

specdris

A test framework for Idris

Language:IdrisMIT56 6 6

FairplayMP

FairplayMP provides secure multiparty computation.

Language:Java44 5 2

Scruff.jl

Scruff.jl

Language:JuliaBSD-3-Clause34 6 20

static-analysis

experiments in lisp static analysis

Language:Common LispNOASSERTION12 60

gentop

An evolving set of notes for General Topology

Language:HTML4 30

tester-idr

Small testing framework for Idris 2

Language:Idris3 20