Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by isubasinghe
A curated list of projects in awesome lists by isubasinghe .
https://github.com/isubasinghe/advanced-redux-patterns
The source code to the talk by Nir Kaufman titled Advanced Redux Patterns, I found it difficult to find his source code so I made this
Last synced: 28 Oct 2024
https://github.com/isubasinghe/gsearch
GSearch is a search engine that utilizes inverted indexing for full text search written in go
full-text-search go golang inverted-index search search-algorithm search-engine
Last synced: 11 Oct 2024
https://github.com/isubasinghe/paxos-rs
Formally verified implementation of Paxos for consensus in distributed systems.
distributed distributed-systems formal-methods formal-verification rust
Last synced: 11 Oct 2024
https://github.com/isubasinghe/rscheme
A simple LISP interpreter in Rust using Chumsky. Goal is on error recovery and error reporting with PEG style parsers not on building a useful language.
Last synced: 11 Oct 2024
https://github.com/isubasinghe/heightmapgenerator
A simple height map generator.
c game game-development heightmap heightmaps
Last synced: 11 Oct 2024
https://github.com/isubasinghe/food-101
A CNN to predict food
classification cnn image keras machine-learning
Last synced: 11 Oct 2024
https://github.com/isubasinghe/eytzinger-binary-search
Real fast branchless binary search
Last synced: 11 Oct 2024
https://github.com/isubasinghe/web.asm
A webserver in x86 linux. Yes there is something wrong with me, obviously
Last synced: 11 Oct 2024
https://github.com/isubasinghe/smt-profiler
A "frontend" independent query profiling tool for Z3, mostly ripped off Verus
Last synced: 11 Oct 2024
https://github.com/isubasinghe/nixos-config
My NixOS + Home Manager config files
Last synced: 11 Oct 2024
https://github.com/isubasinghe/async_futex-rs
A non blocking futex for async Rust
Last synced: 11 Oct 2024
https://github.com/isubasinghe/libump
Fucking Fast user level messaging via ringbuffers for linux
Last synced: 11 Oct 2024
https://github.com/isubasinghe/diff-dataflow-examples
Differential dataflow examples
Last synced: 11 Oct 2024
https://github.com/isubasinghe/gstrips
A PDDL like language for Width Based Planning(https://nirlipo.github.io/Width-Based-Planning-Resources/)
Last synced: 11 Oct 2024
https://github.com/isubasinghe/haskell-in-depth
Solutions to the Book Haskell in Depth
Last synced: 11 Oct 2024
https://github.com/isubasinghe/ukernel
μkernel designed in a similar fashion to L4/sel4/barrelfish
Last synced: 11 Oct 2024
https://github.com/isubasinghe/irisnn
Simple High Level Tensorflow Neural Network with over 97% accuracy.
Last synced: 11 Oct 2024
https://github.com/isubasinghe/lockfree-tlaplus
The gods have abandoned us now - this is gonna be a horror show
Last synced: 11 Oct 2024
https://github.com/isubasinghe/pkm
personal knowledge management -migration of existing Knowledge repo
Last synced: 11 Oct 2024
https://github.com/isubasinghe/libos
Library OS collection for the Jardinii operating system
Last synced: 11 Oct 2024
https://github.com/isubasinghe/sel4-cp-verification-docs
Documentation for seL4 core platform verification
Last synced: 11 Oct 2024
https://github.com/isubasinghe/ntransfer
Neural Transfer tutorial by pytorch https://pytorch.org/tutorials/advanced/neural_style_tutorial.html
Last synced: 11 Oct 2024
https://github.com/isubasinghe/ral
RAL (Register Access Language) allows you to write specifications that can be compiled down to register access patterns.
Last synced: 11 Oct 2024
https://github.com/isubasinghe/stm-rs
Software Transactional Memory for Rust
Last synced: 11 Oct 2024
https://github.com/isubasinghe/bottlechip
A simple RISC-V processor written in Clash.
Last synced: 11 Oct 2024
https://github.com/isubasinghe/gordian-gen
Tool to generate smt specification from haskell specification for use in Gordian
Last synced: 11 Oct 2024
https://github.com/isubasinghe/htime
A watson inspired command line time management CLI tool
Last synced: 11 Oct 2024
https://github.com/isubasinghe/hardware-accelerated-computing
Verilog stuff
Last synced: 11 Oct 2024
https://github.com/isubasinghe/cool-papers
Some really cool research papers about compilers, distributed systems and more.
academic collection paper papers research
Last synced: 11 Oct 2024
https://github.com/isubasinghe/arm-gcc-binutils
Proprietary binutils and gcc compiler by ARM
Last synced: 11 Oct 2024