Skip to content
View amit9oct's full-sized avatar
8 followers · 1 following
  • University of Texas at Austin
  • United States of America

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report amit9oct

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

  • amit9oct.github.io Public

    Forked from daattali/beautiful-jekyll

    ✨ Blog about my experiences with problems in Computer Science and Mathematics

    JavaScript MIT License Updated May 5, 2024

  • SymRL Public

    An RL framework to learn to solve linear equations

    Python 1 Updated Apr 28, 2024

  • repl Public

    Forked from leanprover-community/repl

    A simple REPL for Lean 4, returning information about errors and sorries.

    Lean Updated Apr 4, 2024

  • evals Public

    Forked from openai/evals

    Evals is a framework for evaluating LLMs and LLM systems, and an open-source registry of benchmarks.

    Python MIT License Updated Jul 11, 2023

  • proverbot9001 Public

    Forked from UCSD-PL/proverbot9001
    Coq GNU General Public License v3.0 Updated Mar 18, 2023

  • Program-Synthesizer Public

    Automatic program synthesis from text

    Python 1 3 Do What The F*ck You Want To Public License Updated Dec 8, 2022

  • NL2SQL Public

    Converting Natural Language Queries to SQL

    Jupyter Notebook Updated Dec 15, 2021

  • GameOfDenomination Public

    JavaScript 2 Updated Apr 3, 2021

  • Games-With-ML Public

    Jupyter Notebook Updated Aug 16, 2020

  • Tom-Mitchell-Notebook Public

    Tom Mitchell chapter wise collection of Jupyter Nb with implementation

    Jupyter Notebook 3 Updated Aug 6, 2020

  • ProfBrew Public

    Rating Professors

    HTML 1 Updated May 15, 2019

  • SayNoToSQL Public

    Automatic SQL query generation from sample input and output examples

    C# 1 Updated Feb 8, 2018

  • Quizi Public

    App in Django which supports creating Multi-Choice question and managing exams

    Python Updated Jul 13, 2017

  • Toy-Compiler Public

    Toy-Compiler can be for educational purpose. Helpful for those who need to design a compiler for a simple language. It has the complete compiler built in C language which includes lexer,parser and …

    C 1 Updated Jun 24, 2017

  • SLAM Public

    Simulator tool for creating maps

    C++ 1 Updated Nov 26, 2016

  • 2D-Simple-PolylineDrawer Public

    Simple 2D rendering tool for drawing lines and polygons using OpenGL

    C++ Updated Jul 27, 2016

  • 3-D-Dog-Simulation-In-OpenGl Public

    Uses OpenGl to implement movements of dog. Dog can walk and camera can be rotated. Both wired and solid dogs can be created

    C++ 4 3 GNU General Public License v3.0 Updated Jul 1, 2016

  • Multi-Robot-Task-Allocation Public

    Java 4 2 Updated Oct 26, 2015

  • Chocolate-Vending-Machine-Proteus-Simulation Public

    Simulation of an embeded system which resembles a machine that delivers chocolate when user inserts coins.

    Assembly 2 Updated Sep 12, 2015

  • RMS Public

    HTML Updated Sep 12, 2015

  • ProfBrew-Ver1 Public

    HTML Updated Jun 23, 2015

  • Router-Java-API Public

    Java Updated Sep 14, 2014

  • world-negative-one Public

    Forked from nitral/World-Negative-One

    World Negative One DC hub source tree

    Lua Updated Jun 21, 2014

  • PlAI Public

    plAI (pronounced as "play") is a competition based on your artificial intelligence skills. One has to develop (Code in C++) an AI bot for the provided video-game interface. It will contest in a tou…

    Updated Apr 1, 2014

  • Expect-for-Java Public

    Forked from ronniedong/Expect-for-Java

    Pure Java implementation of the Expect tool

    Java Updated Sep 9, 2013

  • Noah Public

    Forked from lusis/Noah

    Lightweight node/service registry inspired by Apache Zookeeper

    Ruby Apache License 2.0 Updated Mar 3, 2013