gavlegoat/safe-learning external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

gavlegoat/safe-learning

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/gavlegoat/safe-learning)

Close

gavlegoat / safe-learningView on GitHubMore

• External links
• Readme badge

☆18Jul 20, 2023Updated 2 years ago

Alternatives and similar repositories for safe-learning

Users that are interested in safe-learning are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• obastani / viper

  View on GitHub
  ☆28Oct 26, 2020Updated 5 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus

  View on GitHub
  A Dependently Typed Esolang
  ☆10Aug 4, 2017Updated 8 years ago
• OliverEvans96 / maturin-nix-example

  View on GitHub
  ☆15Jul 21, 2023Updated 2 years ago
• meiersi / scyther-proof

  View on GitHub
  A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  ☆18Jun 21, 2015Updated 10 years ago
• schwartenbeckph / Mechanisms_Exploration_Paper

  View on GitHub
  Code for simulations in "Computational mechanisms of curiosity and goal-directed exploration"
  ☆10May 22, 2020Updated 5 years ago
• anki08 / Option-Critic

  View on GitHub
  A simple option critic framework using Q-Learning
  ☆14Feb 7, 2022Updated 4 years ago
• betaboon / mobile-nixos-flake

  View on GitHub
  ☆12Mar 23, 2024Updated 2 years ago
• mayataka / maafa

  View on GitHub
  A PyTorch implementation of MPC as a Function Approximator
  ☆19Sep 27, 2021Updated 4 years ago
• jiechuanjiang / EOI_on_SMAC

  View on GitHub
  An improved version of EOI on Starcraft II task so_many_baneling. (The Emergence of Individuality)
  ☆17Oct 28, 2021Updated 4 years ago
• hari-sikchi / pytorch_CPO

  View on GitHub
  Simple implementation for Constrained Policy Optimization in Pytorch
  ☆17Aug 27, 2022Updated 3 years ago
• grockious / lcrl

  View on GitHub
  Logically-Constrained Reinforcement Learning
  ☆56Jul 5, 2024Updated last year
• gterzian / understand-paxos

  View on GitHub
  What makes Paxos tick?
  ☆11Apr 16, 2025Updated 11 months ago
• Jaraxxus-Me / AirDet_ROS

  View on GitHub
  ROS wrapper for AirDet
  ☆12Jul 24, 2022Updated 3 years ago
• tanlin2013 / midori

  View on GitHub
  hacking recaptcha v3 using reinforcement learning
  ☆15Feb 5, 2020Updated 6 years ago
• nmheim / NeuralArithmetic.jl

  View on GitHub
  Collection of layers that can perform arithmetic operations
  ☆12Aug 17, 2021Updated 4 years ago
• chasenorman / Formalized-Voting

  View on GitHub
  ☆13Jul 24, 2021Updated 4 years ago
• rajaswa / feedback-and-memory-in-transformers

  View on GitHub
  My final project submission for the Meta Learning course at BITS Goa (conducted by TCS Research)
  ☆17May 3, 2021Updated 4 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• esennesh / dcpc_paper

  View on GitHub
  ☆12Aug 26, 2025Updated 6 months ago
• jqueeney / robust-safe-rl

  View on GitHub
  Robust and safe deep reinforcement learning algorithms
  ☆16Mar 27, 2024Updated last year
• lhenry15 / tods-gui

  View on GitHub
  ☆10Jul 19, 2021Updated 4 years ago
• EtienneTho / musical-timbre-studies

  View on GitHub
  ☆11Nov 29, 2020Updated 5 years ago
• J-DM / Roth-Peranson

  View on GitHub
  A python implementation of the nobel prize winning matching algorithm.
  ☆10Nov 22, 2023Updated 2 years ago
• ellisk42 / LambdaBeam

  View on GitHub
  ☆13Dec 31, 2023Updated 2 years ago
• srid / monorepo-nix-template

  View on GitHub
  Make monorepos with Nix flakes
  ☆21May 25, 2022Updated 3 years ago
• elbecerrasoto / gym-cellular-automata

  View on GitHub
  Cellular Automata Environments for Reinforcement Learning
  ☆48Mar 11, 2025Updated last year
• IBM / vsrl-examples

  View on GitHub
  Examples for the VSRL-Framework
  ☆11Sep 17, 2025Updated 6 months ago
• Princeton-RL / contrastive-successor-features

  View on GitHub
  ☆13Dec 14, 2024Updated last year
• SentinelTeam / grim

  View on GitHub
  AI Wargamer and Global Risk Simulator
  ☆13Apr 21, 2025Updated 11 months ago
• baicenxiao / AREL

  View on GitHub
  Pytorch implementation of AREL
  ☆16Dec 20, 2021Updated 4 years ago
• tsitsimis / dmpling

  View on GitHub
  Dynamic Movement Primitives in Python
  ☆15Jul 6, 2023Updated 2 years ago
• serokell / nixcon2020-talk

  View on GitHub
  NixCon 2020 talk about Nix flakes
  ☆18Oct 15, 2020Updated 5 years ago
• segway-robotics / vision_msg_proc

  View on GitHub
  Subscribe Loomo published image messages and process
  ☆10Oct 22, 2017Updated 8 years ago
• nicnic-cc / winBuddy

  View on GitHub
  SIMBL plugin to give windows some extra functionality on macOS
  ☆10Aug 17, 2017Updated 8 years ago
• dadadidodi / m3ddpg

  View on GitHub
  ☆54Jan 26, 2019Updated 7 years ago
• Sriram94 / DMFG

  View on GitHub
  ☆17Nov 29, 2022Updated 3 years ago
• lambdaconf / lambdaconf-2018

  View on GitHub
  Repository for LambdaConf 2018 and related material.
  ☆23Dec 4, 2018Updated 7 years ago
• jianzhnie / RLToolkit

  View on GitHub
  RLToolkit is a flexible and high-efficient reinforcement learning framework. Include implementation of DQN, AC, ACER, A2C, A3C, PG, DDPG,…
  ☆19Dec 14, 2023Updated 2 years ago
• vivekmyers / tra-ogbench

  View on GitHub
  ☆14Feb 13, 2025Updated last year