UlisseMini

UlisseMini's Stars

• rui314/mold

  Mold: A Modern Linker 🦠

  Language:C++15k113934492

• HabitRPG/habitica

  A habit tracker app which treats your goals like a Role Playing Game.

  Language:JavaScript12.7k2807.8k4.2k

• asweigart/pyautogui

  A cross-platform GUI automation Python module for human beings. Used to programmatically control the mouse & keyboard.

  Language:Python11.2k1907351.3k

• vwxyzjn/cleanrl

  High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

  Language:Python6.6k39193725

• leanprover/lean4

  Lean 4 programming language and theorem prover

  Language:Lean5.2k622.1k553

• stdlib-js/stdlib

  ✨ Standard library for JavaScript and Node.js. ✨

  Language:JavaScript5k571.9k756

• howardchung/watchparty

  Watch anything together in-sync with your friends

  Language:TypeScript81613232154

• oughtinc/ice

  Interactive Composition Explorer: a debugger for compositional language model programs

  Language:Python54593269

• google-deepmind/tracr

  Language:Python526151445

• fricas/fricas

  Official repository of the FriCAS computer algebra system

  3252410347

• svenkreiss/unicodeit

  Converts LaTeX tags to unicode: \mathcal{H} → ℋ. Available on the web or as Automator script for the Mac.

  Language:Python31373836

• complex-analysis/complex-analysis.github.io

  Complex Analysis: A Visual and Interactive Introduction

  Language:HTML17843535

• unageek/graphest

  A faithful graphing calculator

  Language:Rust1072301

• causalincentives/pycid

  Library for graphical models of decision making, based on pgmpy and networkx

  Language:Jupyter Notebook10566115

• enjeck/num2math

  Complicated math expression generator

  Language:JavaScript9931914

• montemac/activation_additions

  Algebraic value editing in pretrained language models

  Language:Jupyter Notebook633116

• ckoshka/personate

  A zero-shot chatbot library for large language models

  Language:Python32434

• caojohnny/gfold

  A C++ implementation of the G-FOLD algorithm

  Language:C++23300

• UlisseMini/procgen-tools

  Tools for running experiments on RL agents in procgen environments

  Language:Jupyter Notebook185111

• startrekdude/aoc-2022

  My Advent of Code 2022 Solutions

  Language:Assembly11200

• UlisseMini/ana

  The AI that helps you achieve your goals

  Language:Swift11290

• islewis/ggpt

  ggpt is a tool to interact with the GPT language model on the command line.

  Language:Go7211

• crabbo-rave/cantor

  Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many infinities.

  Language:Lean5100

• sripkunda/personal-blog-template

  A template for a personal site, complete with a markdown blog.

  Language:Mustache5100

• UlisseMini/luamc

  idiots add lua to minecraft

  Language:Java4450

• BrennanColberg/jane

  the world's first open-source digital personal assistant

  Language:Python30

• sripkunda/candl

  A tiny, pedagogical neural network library with a pytorch-like API.

  Language:Python3100

• calculating/brownian

  N-body subatomic particle simulations

  Language:JavaScript1100

• calculating/daisyworld

  Population dynamics simulator at an organism level

  Language:JavaScript1100

• calculating/schedule-checker

  Preview course schedules using leaked info from an exam portal

  Language:HTML10