Theomat

Theomat's Stars

• fosslinux/live-bootstrap

  Use of a Linux initramfs to fully automate the bootstrapping process

  Language:Shell48934

• mstange/samply

  Command-line sampling profiler for macOS and Linux

  Language:Rust2.1k51

• bmouillon/LTL-Benchmarks

  Benchmarks for LTL Learning

  2

• bmouillon/BS-Benchmarks

  Benchmarks for Boolean Synthesis

  2

• dottxt-ai/outlines

  Structured Text Generation

  Language:Python8.2k416

• ASSERT-KTH/deptrim

  DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370

  Language:Java122

• facebookresearch/schedule_free

  Schedule-Free Optimization in PyTorch

  Language:Python1.8k62

• lelis-research/BeeSearch

  Code for Paper: Program Synthesis with Best-First Bottom-Up Search (https://www.jair.org/index.php/jair/article/view/14394)

  Language:Slash1

• VITA-Group/ChainCoder

  📜 [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, Kevin Wang, Yihan Xi, Dejia Xu, Zhangyang Wang

  Language:Python364

• Theomat/ProgSynth

  General purpose program synthetiser with existing Programming By Examples (PBE) pipeline

  Language:Python124

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k68

• mpezeshki/pytorch_forward_forward

  Implementation of Hinton's forward-forward (FF) algorithm - an alternative to back-propagation

  Language:Python1.4k137

• google-research/rliable

  [NeurIPS'21 Outstanding Paper] Library for reliable evaluation on RL and ML benchmarks, even with only a handful of seeds.

  Language:Jupyter Notebook74445

• supertanuki/numeriqueEcoResponsable

  Ressources et écosystème sur la mesure et la réduction des impacts environnementaux du numérique

  9620

• remimorvan/knowledge-clustering

  Clustering notions for the knowledge LaTeX package

  Language:Python131

• kelseyhightower/nocode

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Language:Dockerfile60.4k4.7k

• academicpages/academicpages.github.io

  Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

  Language:JavaScript11.7k41.9k

• veronicanigro/Formula_1

  Language:Jupyter Notebook9030

• facebookresearch/phyre

  PHYRE is a benchmark for physical reasoning.

  Language:Python43061

• sunblaze-ucb/rl-generalization

  Modifiable OpenAI Gym environments for studying generalization in RL

  Language:Python8514

• Farama-Foundation/Minigrid

  Simple and easily configurable grid world environments for reinforcement learning

  Language:Python2.1k602

• pschanely/CrossHair

  An analysis tool for Python that blurs the line between testing and type systems.

  Language:Python99647

• shaohua0116/awesome-program

  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.

  15217

• src-d/datasets

  source{d} datasets ("big code") for source code analysis and machine learning on source code

  Language:Jupyter Notebook32282

• yycdavid/program-synthesis-guided-RL

  Language:Python246

• supremepokebotking/pokemon-showdown-rl-environment

  The Environment I built to study Reinforcement Learning + Pokemon Showdown

  Language:Python3

• entity-neural-network/incubator

  Collection of in-progress libraries for entity neural networks.

  2910

• windweller/play-to-grade

  Applying RL to grade coding games. NeurIPS 2021.

  Language:Jupyter Notebook65

• waterhorse1/NAC

  (NeurIPS 2021) Neural Auto-Curricula in Two-Player Zero-Sum Games.

  Language:Jupyter Notebook263

• clvrai/awesome-rl-envs

  1k79