Wyntuition
Sr. software engineer currently interested in Kubernetes, Java, Go and ways to make front-end development faster and simpler.
Washington, DC
Wyntuition's Stars
ossu/computer-science
🎓 Path to a free self-taught education in Computer Science!
getsops/sops
Simple and flexible tool for managing secrets
astral-sh/rye
a Hassle-Free Python Experience
joelparkerhenderson/architecture-decision-record
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
plasma-umass/scalene
Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python with AI-powered optimization proposals
juicedata/juicefs
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
aimacode/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Farama-Foundation/Gymnasium
An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)
vwxyzjn/cleanrl
High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)
measuredco/puck
The visual editor for React
moby/swarmkit
A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.
hyperledger/fabric-samples
Samples for Hyperledger Fabric
everythingishacked/Semaphore
A full-body keyboard using gestures to type through computer vision
tlaplus/Examples
A collection of TLA⁺ specifications of varying complexities
uwplse/verdi
A framework for formally verifying distributed systems implementations in Coq
ongardie/raft.tla
TLA+ specification for the Raft consensus algorithm
corl-team/CORL
High-quality single-file implementations of SOTA Offline and Offline-to-Online RL algorithms: AWAC, BC, CQL, DT, EDAC, IQL, SAC-N, TD3+BC, LB-SAC, SPOT, Cal-QL, ReBRAC
sinclairnick/brail
💌 Transactional email that feels different
BosqueLanguage/BosqueCore
jonkrohn/NLP-with-LLMs
Natural Language Processing with Large Language Models
WebOfTrustInfo/rwot11-the-hague
RWOT11 in The Hague, Netherlands (September 2022)
marcellop71/mosaic
multi-authority attribute based encryption
bushidocodes/chord-grpc
Distributed User Service using Node.js, gRPC, and the Chord Algorithm.
usnistgov/NetSimulyzer
A flexible 3D visualizer for displaying, debugging, presenting, and understanding ns-3 scenarios.
usnistgov/NetSimulyzer-ns3-module
A flexible 3D visualizer for displaying, debugging, presenting, and understanding ns-3 scenarios.
dranov/raft-tla
vaibhavbsharma/java-ranger
Java Ranger is a path-merging extension of Symbolic PathFinder
kaperys/awslocal
A LocalStack wrapper for the Golang AWS SDK
meyerphi/petrinizer
Safety and Liveness Analysis of Petri Nets with SMT solvers
wutka/solving-diehard3-water-jugs
Getting nuXmv and Formula to solve the water jugs problem from Die Hard 3