Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by bollu
A curated list of projects in awesome lists by bollu .
https://github.com/bollu/bollu.github.io
code + contents of my website, and programming life
Last synced: 25 Dec 2024
https://github.com/bollu/mathemagic
Toybox of explanations of mathematics. Initial focus on (discrete) differential geometry
Last synced: 25 Dec 2024
https://github.com/bollu/cellularautomata
a collection of cellular automata written in Haskell with Diagrams
cellular-automata comonads diagrams game-of-life
Last synced: 25 Dec 2024
https://github.com/bollu/tiny-optimising-compiler
A tiny *optimising* compiler for an imperative programming language written in haskell
Last synced: 25 Dec 2024
https://github.com/bollu/sublimebookmark
a better bookmark system for SublimeText
Last synced: 25 Dec 2024
https://github.com/bollu/sublimeBookmark
a better bookmark system for SublimeText
Last synced: 28 Oct 2024
https://github.com/bollu/teleport
A CLI in haskell to quickly move through the filesystem
Last synced: 25 Dec 2024
https://github.com/bollu/timi
A visual interpreter of the template instantiation machine to understand evaluation of lazy functional languages
haskell interpreter language lazy-evaluation
Last synced: 25 Dec 2024
https://github.com/bollu/simplexhc
compiler with polyhedral optmization for a lazy functional programming language
Last synced: 25 Dec 2024
https://github.com/bollu/blaze
Haskell re-implementation of STOKE, the stochastic superoptimizer
Last synced: 25 Dec 2024
https://github.com/bollu/notes
Latex notes on papers, courses, ideas: Pure math and computer science.
Last synced: 25 Dec 2024
https://github.com/bollu/sublimerealitycheck
Sublime text plugin for live value watching for interpreted languages
Last synced: 25 Dec 2024
https://github.com/bollu/discrete-differential-geometry
An elegant implementation of discrete diffgeo in haskell
Last synced: 25 Dec 2024
https://github.com/bollu/simplexhc-cpp
optimising compiler for Haskell's intermediate representation (STG) to LLVM IR
Last synced: 25 Dec 2024
https://github.com/bollu/lean-to
Jupyter notebook for the Lean4 programming language
Last synced: 25 Dec 2024
https://github.com/bollu/ward
WARD is a minimal, performant infinite whiteboard app for wacom tablets
Last synced: 25 Dec 2024
https://github.com/bollu/minitt
bollu learns implementation of dependent typing
Last synced: 25 Dec 2024
https://github.com/bollu/mlir-hs
Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell
Last synced: 25 Dec 2024
https://github.com/bollu/lz
A minimal in MLIR dialect along the lines of STG to represent laziness.
Last synced: 25 Dec 2024
https://github.com/bollu/koans
Short pieces of code that are "plays" - mostly haskell, sometimes math / other things
Last synced: 25 Dec 2024
https://github.com/bollu/rete
An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
Last synced: 25 Dec 2024
https://github.com/bollu/polymage
PolyMage is a domain-specific language and optimizing code generator for auto-parallelisation
Last synced: 25 Dec 2024
https://github.com/bollu/quantum-course-exercises
Solutions to coursework in Q#
Last synced: 25 Dec 2024
https://github.com/bollu/hask-error-messages-catalog
A catalog of broken Haskell programs to improve error messages
Last synced: 25 Dec 2024
https://github.com/bollu/diffgeo
A formalization of synthetic differential geometry in Coq using infinitesimal analysis
Last synced: 25 Dec 2024
https://github.com/bollu/soundsynth
Bollu learns physically based sound sythesis
Last synced: 25 Dec 2024
https://github.com/bollu/iiit-h-code
code written for assignments and whatnot at IIIT-H
Last synced: 25 Dec 2024
https://github.com/bollu/w
algorithms implemented in C++, written in the arthur whitney style
Last synced: 25 Dec 2024
https://github.com/bollu/taleoftwodialects
nontrivial lowering examples for MLIR that are ignored by the MLIR tutorials
Last synced: 25 Dec 2024
https://github.com/bollu/software-foundations-solutions
My solutions to the software foundations book
Last synced: 25 Dec 2024
https://github.com/bollu/polyir
A semantics for the types of loops that can be modelled by polyhedral compilation techniques, developed in Coq.
Last synced: 25 Dec 2024
https://github.com/bollu/myriad
A library for manifold algorithms, as I learn discrete diferential geometry and general relativity
Last synced: 25 Dec 2024
https://github.com/bollu/dependence-analysis-hask
Dependence Analysis for Haskell code using the polyhedral framework
Last synced: 25 Dec 2024
https://github.com/bollu/shakuni
An exploration of minimality and parallelism in probabilstic programming languages.
Last synced: 25 Dec 2024
https://github.com/bollu/equinox
game to experiment with Rust, Carmack's ideas
Last synced: 25 Dec 2024
https://github.com/bollu/pico-mlir
A mini language written using MLIR + MAKEFILES! so you get to see all the commands, no CMake magic.
Last synced: 25 Dec 2024
https://github.com/bollu/smol
smol IDE for a smol language that permits insane static analysis because smol
Last synced: 25 Dec 2024
https://github.com/bollu/mlir-hoopl-rete
rewrites for MLIR with hoopl / rete
Last synced: 25 Dec 2024
https://github.com/bollu/scev-coq
LLVM's loop analysis theory (Scalar Evolution) formalized in Coq
Last synced: 25 Dec 2024
https://github.com/bollu/master-thesis
My master's thesis on NLP and representation learning
Last synced: 25 Dec 2024
https://github.com/bollu/sdl2.lean
bindings to SDL2 (Simple DirectMedia library) in Lean
Last synced: 25 Dec 2024
https://github.com/bollu/functionalconf-2019-slides-probabilistic-programming
Slides for my talk at functional conf 2019 on probabilistic programming
Last synced: 25 Dec 2024
https://github.com/bollu/pisigma
A reference copy of PiSigma: dependent types with without the sugar
Last synced: 25 Dec 2024
https://github.com/bollu/polybench-c
PolyBench/C from http://web.cse.ohio-state.edu/~pouchet/software/polybench/
Last synced: 25 Dec 2024
https://github.com/bollu/warren
The warren abstract machine for Pascal, in Hakell
Last synced: 25 Dec 2024
https://github.com/bollu/biter
library / CLI as a swiss-army knife for low level bit fiddling debugging.
Last synced: 25 Dec 2024
https://github.com/bollu/hugs
A copy of the hugs haskell98 implementation; hoping to eliminate bitrot
Last synced: 25 Dec 2024
https://github.com/bollu/slides-haskell-exchange-2020-smallpt
Slides for haskell exchange 2020 talk on smallpt
Last synced: 25 Dec 2024
https://github.com/bollu/ppcg
A fork of the original PPCG with debug code: http://repo.or.cz/w/ppcg.git
Last synced: 25 Dec 2024
https://github.com/bollu/warren-cpp
An implementation of warren, the abstract machine for Prolog. Is a transcription of the lecture notes "warren's abstract machine a tutorial reconstruction"
Last synced: 25 Dec 2024
https://github.com/bollu/mips-bsv
an implementation of a MIPS processor in BlueSpec System Verilog
Last synced: 25 Dec 2024
https://github.com/bollu/paper-deltas
Deltas: An algebraic theory of diffs in haskell
Last synced: 25 Dec 2024
https://github.com/bollu/amalgam
amalgam ~ composite | A small library for interactive symbolic number theory explorations in haskell
Last synced: 25 Dec 2024
https://github.com/bollu/gde-game
Game on using text generation to trigger empathy
Last synced: 25 Dec 2024
https://github.com/bollu/unification
polymorphic type inference with unification from the Dragon book
Last synced: 25 Dec 2024
https://github.com/bollu/casette
Mixtape of computer algebra system (CAS) algorithms
Last synced: 25 Dec 2024
https://github.com/bollu/sicm
structure and interpretation of classical mechanics
Last synced: 25 Dec 2024
https://github.com/bollu/captainslog
Documenting the PhD slog, one day at a time
Last synced: 25 Dec 2024
https://github.com/bollu/dataflow
A view of dataflow architectures, with a modern haskell perspective
Last synced: 25 Dec 2024
https://github.com/bollu/smallpt-opt
Optimizing Smallpt: Haskell Exchange reference data
Last synced: 25 Dec 2024
https://github.com/bollu/haskell-tutorial
Files for a haskell tutorial I'm teaching at IIIIT-Hyderabad
Last synced: 25 Dec 2024
https://github.com/bollu/alok-bollu
A repo for work between Alok Debnath and Siddharth Bhat
Last synced: 25 Dec 2024
https://github.com/bollu/fpga-playground
Code written using BlueSpec Verilog, general FPGA messing around for my course
Last synced: 25 Dec 2024
https://github.com/bollu/decompile-transformer
The one where bollu decompiles attention models
Last synced: 25 Dec 2024
https://github.com/bollu/dgclj
A riff on "functional differential geometry" in clojure
Last synced: 25 Dec 2024
https://github.com/bollu/geometric-algebra
Implementation of geometric algebra primitives
Last synced: 25 Dec 2024
https://github.com/bollu/tabledtypeclass
tabled typeclass resolution implementation
Last synced: 25 Dec 2024
https://github.com/bollu/propogators-coq
A formalisation of propogators as ekmett speaks about them on the livestream: https://www.twitch.tv/ekmett
Last synced: 25 Dec 2024
https://github.com/bollu/absint
abstract interpreters for a tiny SSA language in haskell
Last synced: 25 Dec 2024
https://github.com/bollu/functional-fluids-on-surfaces
implementation of the paper "functional fluids on surfaces"
Last synced: 25 Dec 2024
https://github.com/bollu/lean-koans
A dumping ground for short Lean programs that demonstrate a point: a kōan
Last synced: 25 Dec 2024
https://github.com/bollu/tinyfort
Minimal fortran-ish language with LLVM backend, written for a compilers course
Last synced: 25 Dec 2024
https://github.com/bollu/lispinterpreter
A lisp interpreter in C++ for fun :)
Last synced: 25 Dec 2024
https://github.com/bollu/musquared
Demand-agnostic managed language compiler using MLIR
Last synced: 25 Dec 2024
https://github.com/bollu/simplexhc-ghc-integration
Plugins to dump simplexhc-compliant STG, and a Sxhc.Base for simplexhc programs
Last synced: 25 Dec 2024
https://github.com/bollu/leanallocatoradversary
An adverserial allocation pattern against the Lean4 memory allocator
Last synced: 25 Dec 2024
https://github.com/bollu/clisparkline
Tiny haskell library to prettyprint sparklines onto the CLI!
Last synced: 25 Dec 2024
https://github.com/bollu/languagemodels
Me messing around with language models, trying to make NLP run on commodity hardware with weird ideas.
Last synced: 25 Dec 2024
https://github.com/bollu/ghc-asterius
For of terrorjack/GHC to hack on austerius
Last synced: 25 Dec 2024
https://github.com/bollu/pegasos-svm
An implmentation of the pegasos SVM learning algorithm
Last synced: 25 Dec 2024