Skip to content
View natvern's full-sized avatar
11 followers · 7 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report natvern

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

ianshil / BIRS2025

Rocq Prover 2 Updated Dec 5, 2025

meta-logic / lltp

TPTP linear logic version

OpenEdge ABL 15 2 Updated Jan 27, 2025

kefranabg / readme-md-generator

📄 CLI that generates beautiful README.md files

JavaScript 11,110 1,382 Updated Sep 20, 2022

firstcontributions / first-contributions

🚀✨ Help beginners to contribute to open source projects

53,478 101,121 Updated Apr 14, 2026

dennybritz / reinforcement-learning

Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

Jupyter Notebook 21,952 6,156 Updated Jul 13, 2023

the-little-prover / j-bob

Scheme 437 66 Updated Feb 8, 2024

Tailen / hash_code_2019

Google Hash Code 2019 Team Michael Hackson

Python 1 Updated Mar 5, 2019

Tailen / Alpha_Connect

CMU 15-112 Final Project: Implementation of AlphaGo Zero for Connect 4 and more!

Tcl 3 Updated Dec 10, 2018