kotval Goto Github PK
Name: kotval
Type: User
Bio: Ex-Mathematician with interest in cryptography, security, and machine learning. Currently working as a Machine Learning Engineer at Veterans United Home Loans.
Name: kotval
Type: User
Bio: Ex-Mathematician with interest in cryptography, security, and machine learning. Currently working as a Machine Learning Engineer at Veterans United Home Loans.
👩💻👨💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.
Fastest library to load data from DB to DataFrames in Rust and Python
A pure-Rust implementation of group operations on Ristretto and Curve25519
Model-based design and verification for robotics.
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.
My dotfiles for hyprland, a great wayland compositor
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 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.
Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.
A Rust version of the libsignal-service-java library for communicating with Signal servers.
A MkDocs plugin for citation management using bibtex
:space_invader: NixOS configuration
⚡️Optimizing einsum functions in NumPy, Tensorflow, Dask, and more with contraction order optimization.
Portable Format for Analytics
Renode - Antmicro's open source simulation and virtual development framework for complex embedded systems
Stand-alone build for sigchat, a Xous app
A Signal client for xous
A community-driven modular vim/neovim distribution - The ultimate vimrc
Main repository for the Sphinx documentation builder
This repo contains hacked apart bits of libsignal with the goal of supporting xous for the precursor.
TDS 7.2+ (Microsoft SQL Server) driver for Rust
Utilities for working with configuration files in typer CLIs.
A machine learning compiler for GPUs, CPUs, and ML accelerators
The Xous microkernel
Homework problems from [MIT 6.828 2023](https://pdos.csail.mit.edu/6.828/2023/index.html)
Experiments porting xv6 to hardware. Work in Progress.
Xv6 for RISC-V
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.