Pinned Repositories
awesome-neuro-symbolic-ai
A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.
Bitcoin-Cryptography-Simply-Explained
Free E-Book. You don’t need a Math or Computer Science Ph.D. to understand Bitcoin
bitcoin-s
Bitcoin Implementation in Scala
CarConTracksV1
EECE 571G Term Project: CarConTracks DApp
Ethernaut-Solutions
Solutions to the Ethernaut wargame developed by OpenZeppelin
llm-fun
Contract Conditions Extraction and Verification
MIT-Challenge
5 MIT computer science courses in under 4 months through MIT OpenCourseWare
mojomics
Supercharging bioinformaticians with 🔥
ODEvRNN
MATH 560 Term Project: ODEs vs RNNs: Modeling HIV Viral Dynamics
Trilemma-Beta
Official repo for the Trilemma Beta Tournament
mattfaltyn's Repositories
mattfaltyn/MIT-Challenge
5 MIT computer science courses in under 4 months through MIT OpenCourseWare
mattfaltyn/awesome-neuro-symbolic-ai
A curated list of awesome Neuro-Symbolic AI frameworks, libraries, software, papers, and videos.
mattfaltyn/llm-fun
Contract Conditions Extraction and Verification
mattfaltyn/mojomics
Supercharging bioinformaticians with 🔥
mattfaltyn/ODEvRNN
MATH 560 Term Project: ODEs vs RNNs: Modeling HIV Viral Dynamics
mattfaltyn/Bitcoin-Cryptography-Simply-Explained
Free E-Book. You don’t need a Math or Computer Science Ph.D. to understand Bitcoin
mattfaltyn/bitcoin-s
Bitcoin Implementation in Scala
mattfaltyn/CarConTracksV1
EECE 571G Term Project: CarConTracks DApp
mattfaltyn/Ethernaut-Solutions
Solutions to the Ethernaut wargame developed by OpenZeppelin
mattfaltyn/GeoGWAS
Leveraging geometric techniques and graph neural networks to uncover meaningful biology from GWAS data
mattfaltyn/geometric-omics
Toolkit for omics network analysis and predictive modeling
mattfaltyn/IUGradMathCrashCourse
IU math grad students learning coding and cryptography
mattfaltyn/LegNet
accurate prediction of promoter activity and variant effects from massive parallel reporter assays
mattfaltyn/linear-mojobra
mattfaltyn/LNN
A `Neural = Symbolic` framework for sound and complete weighted real-value logic
mattfaltyn/math561-gp-SuEIR
mattfaltyn/mattfaltyn.github.io
My professional website and portfolio
mattfaltyn/MovieLens-Machine-Learning
Final project of the HarvardX Professional Certificate in Data Science (completed August 2019)
mattfaltyn/rust-lightning
A highly modular Bitcoin Lightning library written in Rust. Its Rust-Lightning, not Rusty's Lightning!
mattfaltyn/Synfo-NY-Discharge
Large-scale synthetic data generation from New York's SPARCS Hospital Discharge Records
mattfaltyn/tigramite
Tigramite is a python package for causal inference with a focus on time series data. The Tigramite documentation is at