Popular repositories Loading
-
tufte_algorithms_book
tufte_algorithms_book Public templateA template for textbooks in the same style as Algorithms for Optimization
-
NeuralVerification.jl
NeuralVerification.jl PublicMethods to soundly verify deep neural networks
-
-
aa228-notebook
aa228-notebook PublicIJulia notebooks for AA228/CS238 Decision Making Under Uncertainty course at Stanford University
Repositories
- NNet Public
Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-connected, ReLU activated neural networks. Example networks in this format can be found in the Reluplex repository.
- SatelliteDynamics.jl Public
SatelliteDynamics.jl is a satellite dynamics modeling package written for Julia.
- GapHeuristicSearch.jl Public
A Julia implementation of the Gap Heuristic Search online planning algorithm, for use with the POMDPs.jl ecosystem.
- MultiAgentPOMDPProblems.jl Public
Collection of multiagent POMDP problems used in the Dec-POMDP literature.
- AA222Project0 Public
Starter code for Project 0 of Stanford AA222/CS361 (Engineering Design Optimization)
- ASTPrompter Public
Weakly Supervised Automated Language Model Red-Teaming to Identify Likely Toxic Prompts.
- ground-station-optimizer Public Forked from duncaneddy/ground-station-optimizer
Optimal selection of ground station providers and networks — 2025 IEEE Aerospace Conference
Top languages
Loading…