Morpekooo

Morpekooo's Stars

• facebookresearch/Lyapunov

  PyTorch original implementation of "Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers" (NeurIPS 2024).

  Language:Python56

• dreal/dreal4

  Automated Reasoning in Nonlinear Theories of Reals

  Language:SMT15635

• huggingface/trl

  Train transformer language models with reinforcement learning.

  Language:Python10.7k1.4k

• opendilab/LightZero

  [NeurIPS 2023 Spotlight] LightZero: A Unified Benchmark for Monte Carlo Tree Search in General Sequential Decision Scenarios (awesome MCTS)

  Language:Python1.2k129

• opendilab/PPOxFamily

  PPO x Family DRL Tutorial Course（决策智能入门级公开课：8节课帮你盘清算法理论，理顺代码逻辑，玩转决策AI应用实践 ）

  Language:Python2.1k180

• SimpleBerry/LLaMA-O1

  Large Reasoning Models

  Language:Python80044

• zhentingqi/rStar

  Language:Python861100

• yuanchenyang/SumOfSquares.py

  Python implementation of Sum-of-Squares optimization built on picos

  Language:Python324

• f-charton/Int2Int

  Language:Python65

• cavalab/srbench

  A living benchmark framework for symbolic regression

  Language:Python23482

• SymposiumOrganization/ControllableNeuralSymbolicRegression

  Language:Python112

• FudanDNN-NLP/RAG

  This is an implementation of the paper: Searching for Best Practices in Retrieval-Augmented Generation (EMNLP2024)

  Language:Python27617

• ShiArthur03/ShiArthur03

  Language:MATLAB10.3k1.9k

• JetBrains/swot

  Identify email addresses or domains names that belong to colleges or universities. Help automate the process of approving or rejecting academic discounts.

  Language:Kotlin1.8k22.9k

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python74.2k6.5k

• v2ray/v2ray-core

  A platform for building proxies to bypass network restrictions.

  Language:Go45.7k9k

• EasyConNS/EasyCon

  a ns gamepad controller

  Language:C#17124

• shinyquagsire23/Switch-Fightstick

  Proof-of-Concept LUFA Project for the Nintendo Switch. Pretends to be a HORI Pokken Pad which only prints Splatoon 2 Posts

  Language:C69198

• cheenanet/pokemon-swsh-scripts

  Python scripts for Automation in Pokemon Sword Shield with ebith/Switch-Fightstick

  Language:Python549

• progmem/Switch-Fightstick

  Proof-of-Concept LUFA Project for the Nintendo Switch. Uses reverse-engineering of the Pokken Tournament Pro Pad for the Wii U and Switch System v3.0.0

  Language:C452470