dataronio Goto Github PK

ivory

The Ivory EDSL

ivy

A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety

janet

A dynamic language and bytecode vm

java-8

This code base has all the code related to the Java 8 course.

java-design-patterns

Design patterns implemented in Java

joelnet

live coding deep learning library

jonesforth

Mirror of JONESFORTH

joujou

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

joxa

A Modern Lisp for the Erlang VM

jpath

(OLD) a simple path tracer written purely in java.

js

job search

jsforth

A Forth REPL in Javascript.

juvix

A more elegant language for a more civilized age.

k

kagglejulia

Revised julia tutorial code in kaggle

kalman-and-bayesian-filters-in-python

Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.

kaolin

A PyTorch Library for Accelerating 3D Deep Learning Research

kind

A modern proof language

kitten

A statically typed concatenative systems programming language.

klib

A standalone and lightweight C library

lamport_clock

Lamport Clock C++ implementation using atomic operations

latte

LaTTe : a Laboratory for Type Theory experiments (in clojure)

lbforth

Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.

le

LE text editor

learn-tt

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

learn-you-plt-for-greater-good

A resource library for PLT, Haskell, ML and compilers.

learngo

1000+ Hand-Crafted Go Examples, Exercises, and Quizzes

let-s-build-a-compiler

A C & x86 version of the "Let's Build a Compiler" by Jack Crenshaw

libdnn

Greentea LibDNN - a universal convolution implementation supporting CUDA and OpenCL

libgvps

Generic Viterbi Path Searcher