Pinned Repositories
awesome-cheatsheets
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
connector-x
Fastest library to load data from DB to DataFrames in Rust and Python
curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
drake
Model-based design and verification for robotics.
hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
hyprland-dotfiles
My dotfiles for hyprland, a great wayland compositor
jsonpickle
Python library for serializing any arbitrary object graph into JSON. It can take almost any Python object and turn the object into JSON. Additionally, it can reconstitute the object back into Python.
Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
sigchat
Stand-alone build for sigchat, a Xous app
xous-core
The Xous microkernel
kotval's Repositories
kotval/awesome-cheatsheets
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
kotval/connector-x
Fastest library to load data from DB to DataFrames in Rust and Python
kotval/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
kotval/drake
Model-based design and verification for robotics.
kotval/hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
kotval/hyprland-dotfiles
My dotfiles for hyprland, a great wayland compositor
kotval/jsonpickle
Python library for serializing any arbitrary object graph into JSON. It can take almost any Python object and turn the object into JSON. Additionally, it can reconstitute the object back into Python.
kotval/Kalman-and-Bayesian-Filters-in-Python
Kalman Filter book using Jupyter Notebook. Focuses on building intuition and experience, not formal proofs. Includes Kalman filters,extended Kalman filters, unscented Kalman filters, particle filters, and more. All exercises include solutions.
kotval/libsignal
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
kotval/sigchat
Stand-alone build for sigchat, a Xous app
kotval/xous-core
The Xous microkernel
kotval/libsignal-service-rs
A Rust version of the libsignal-service-java library for communicating with Signal servers.
kotval/libsignal-service-xous
kotval/mkdocs-bibtex
A MkDocs plugin for citation management using bibtex
kotval/nix-config
:space_invader: NixOS configuration
kotval/opt_einsum
⚡️Optimizing einsum functions in NumPy, Tensorflow, Dask, and more with contraction order optimization.
kotval/pfa
Portable Format for Analytics
kotval/renode
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
kotval/renode-infrastructure
kotval/signal-xous
A Signal client for xous
kotval/SpaceVim
A community-driven modular vim/neovim distribution - The ultimate vimrc
kotval/sphinx
Main repository for the Sphinx documentation builder
kotval/test-signal-xous
This repo contains hacked apart bits of libsignal with the goal of supporting xous for the precursor.
kotval/tiberius
TDS 7.2+ (Microsoft SQL Server) driver for Rust
kotval/typer-config
Utilities for working with configuration files in typer CLIs.
kotval/xla
A machine learning compiler for GPUs, CPUs, and ML accelerators
kotval/xv6-labs-2023
Homework problems from [MIT 6.828 2023](https://pdos.csail.mit.edu/6.828/2023/index.html)
kotval/xv6-on-hardware
Experiments porting xv6 to hardware. Work in Progress.
kotval/xv6-riscv
Xv6 for RISC-V