tholok97

zotero

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

usbhid-dump

USB HID device dumping utility

hidapi

A Simple library for communicating with USB and Bluetooth HID devices on Linux, Mac, and Windows.

grab

A download manager package for Go

idris2-python

A Python backed for Idris 2

hid-ft260

FTDI FT260 Linux kernel driver

libudev

Golang native implementation udev library

idris-ml

Learning repo using Idris2 for ML

MSS

The Marine Systems Simulator (MSS) is software that supplements the textbook "Handbook of Marine Craft Hydrodynamics and Motion Control," 2nd Edition, by T. I. Fossen, published in 2021 by John Wiley & Sons Ltd.

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.

tensor

package tensor provides efficient and generic n-dimensional arrays in Go that are useful for machine learning and deep learning purposes

hvm-64

HVM

A massively parallel, optimal functional runtime in Rust

pymodbus

A full modbus protocol written in python

flameshot

Powerful yet simple to use screenshot software :desktop_computer: :camera_flash:

xgen

XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator

unison

A friendly programming language from the future

Idris2

A purely functional programming language with first class types

mapscii

🗺 MapSCII is a Braille & ASCII world map renderer for your console - enter => telnet mapscii.me <= on Mac (brew install telnet) and Linux, connect with PuTTY on Windows

spidr

Accelerated machine learning with dependent types

websocket

Package gorilla/websocket is a fast, well-tested and widely used WebSocket implementation for Go.

oapi-codegen

Generate Go client and server boilerplate from OpenAPI 3 specifications

ogen

OpenAPI v3 code generator for go

pg_query_go

Go library to parse and normalize SQL queries using the PostgreSQL query parser

sqlc

Generate type-safe code from SQL

gonull

Go package simplifies nullable fields handling using Go Generics.

vscode-restclient

REST Client Extension for Visual Studio Code

agda

Agda is a dependently typed programming language / interactive theorem prover.

array-language-comparisons

A comparison of array languages & libraries: APL, J, BQN, Uiua, Q, Julia, R, NumPy, Nial, Futhark, Dex, Ivy, SaC & ArrayFire.

Remora

Dependently-typed language with Iverson-style implicit lifting