Pinned Repositories
alive
Automatic verification of LLVM optimizations
flix
The Flix Programming Language
go-fasttext
Facebook fastText database in SQLite with Go API
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.
lshforest
An implementation of LSH Forrest based off of the following paper (http://infolab.stanford.edu/~bawa/Pub/similarity.pdf).
simhash
A barebones implementation of the simhash data sketching algorithm.
swift
The Swift Programming Language
justinfargnoli's Repositories
justinfargnoli/lshforest
An implementation of LSH Forrest based off of the following paper (http://infolab.stanford.edu/~bawa/Pub/similarity.pdf).
justinfargnoli/lamb
An implementation of the Typed Lambda Calculus described in https://papl.cs.brown.edu/2018/types.html
justinfargnoli/koi
Compiler for the Calculus of Inductive Constructions
justinfargnoli/alive
Automatic verification of LLVM optimizations
justinfargnoli/go-fasttext
Facebook fastText database in SQLite with Go API
justinfargnoli/simhash
A barebones implementation of the simhash data sketching algorithm.
justinfargnoli/flix
The Flix Programming Language
justinfargnoli/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
justinfargnoli/swift
The Swift Programming Language
justinfargnoli/AP-Question-Analyzer
justinfargnoli/compar
justinfargnoli/crossbeam
Tools for concurrent programming in Rust
justinfargnoli/database
justinfargnoli/Database-EER
justinfargnoli/Decomposition
justinfargnoli/doctor-mobile-app
justinfargnoli/justinfargnoli.github.io
justinfargnoli/Kaggle-Learn
justinfargnoli/kaleidoscope
Implementing the Kaleidoscope programming language with LLVM by following this tutorial (https://llvm.org/docs/tutorial/MyFirstLanguageFrontend/index.html).
justinfargnoli/lshensemble
LSH index for approximate set containment search
justinfargnoli/models
Provides all models for our flutter client apps. (e.g. models to fetch data from FHIR endpoints and AWS.)
justinfargnoli/mpitutorial
MPI programming lessons in C and executable code examples
justinfargnoli/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'.
justinfargnoli/rust-threadpool
A very simple thread pool for parallel task execution