justinfargnoli Goto Github PK

alive

Automatic verification of LLVM optimizations

ap-question-analyzer

compar

crossbeam

Tools for concurrent programming in Rust

database

database-eer

decomposition

doctor-mobile-app

flix

The Flix Programming Language

go-fasttext

Facebook fastText database in SQLite with Go API

justinfargnoli.github.io

kaggle-learn

kaleidoscope

Implementing the Kaleidoscope programming language with LLVM by following this tutorial (https://llvm.org/docs/tutorial/MyFirstLanguageFrontend/index.html).

koi

Compiler for the Calculus of Inductive Constructions

lamb

An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

lshensemble

LSH index for approximate set containment search

lshforest

An implementation of LSH Forrest based off of the following paper (http://infolab.stanford.edu/~bawa/Pub/similarity.pdf).

models

Provides all models for our flutter client apps. (e.g. models to fetch data from FHIR endpoints and AWS.)

mpitutorial

MPI programming lessons in C and executable code examples

rsocrata

Provides easier interaction with Socrata open data portals http://dev.socrata.com. Users can provide a 'Socrata' data set resource URL, or a 'Socrata' Open Data API (SoDA) web query, or a 'Socrata' "human-friendly" URL, returns an R data frame. Converts dates to 'POSIX' format. Manages throttling by 'Socrata'.

rust-threadpool

A very simple thread pool for parallel task execution

simhash

A barebones implementation of the simhash data sketching algorithm.

swift

The Swift Programming Language