Pinned Repositories
Beta-Reducer
A Haskell progam that beta-reduces Lambda Expressions.
coq-synthgeo
Synthetic geometry in Coq?
cuda-rsnn
Simulating recurrent spiking neural networks with cuda.
CyberBach
Training machines to make music!
knights-n-knaves
Finds solutions to the knights-n-knaives problem using haskell
Persistence
A topological data analysis library for Haskell
Prime-Finder
Program for finding primes in Haskell
TL-Isomap
Topological dimensionality reduction in Python
video-frame-analyzer
Uses topological data analysis to tell how different one frame of a video is from the next.
zipf-bible
Demonstrating Zipf's Law using the NIV Bible
Ebanflo42's Repositories
Ebanflo42/Persistence
A topological data analysis library for Haskell
Ebanflo42/Beta-Reducer
A Haskell progam that beta-reduces Lambda Expressions.
Ebanflo42/Prime-Finder
Program for finding primes in Haskell
Ebanflo42/video-frame-analyzer
Uses topological data analysis to tell how different one frame of a video is from the next.
Ebanflo42/zipf-bible
Demonstrating Zipf's Law using the NIV Bible
Ebanflo42/coq-synthgeo
Synthetic geometry in Coq?
Ebanflo42/cuda-rsnn
Simulating recurrent spiking neural networks with cuda.
Ebanflo42/cuda-sys
Rust binding to CUDA APIs
Ebanflo42/CyberBach
Training machines to make music!
Ebanflo42/knights-n-knaves
Finds solutions to the knights-n-knaives problem using haskell
Ebanflo42/TL-Isomap
Topological dimensionality reduction in Python
Ebanflo42/Ebanflo42.github.io
Eben Kadile's blog.
Ebanflo42/Haskell-Anagrams
A Haskell program that finds the anagrams of a string (taken as input) in a text file
Ebanflo42/Haskell-DiffEqs
Simple homogeneous differential equation approximator.
Ebanflo42/hypertree-viz
Graph visualization using simple hyperbolic embeddings.
Ebanflo42/mapper-tda
Mapper implementation (Topological Data Analysis) in Python
Ebanflo42/rnn-kernel
Ebanflo42/unda
General purpose neural network crate
Ebanflo42/xla-rs
Experimentation using the xla compiler from rust