Repositories list

• Natural-Deduction-Proof-Checker

  Public
  A proof checker that works like a programming language to verify natural deduction proofs step-by-step.

  Python

  •0•1•0•0•Updated Mar 12, 2023Mar 12, 2023

• quantum-dynamic-programming

  Public
  Algorithms that demonstrate a quantum speedup on dynamic-programming solutions to certain problems

  algorithmsquantum-computingnp-complete+ 2dynamic-programmingquantum-algorithms

  MIT License

  •0•1•0•0•Updated Oct 4, 2022Oct 4, 2022

• Sign-Language-Translator

  Public
  Development of an in-house device that uses machine learning and deep learning to assist communication with the mute and deaf

  2•3•0•1•Updated Sep 15, 2022Sep 15, 2022

• nemo-core-interpreter

  Public
  MIT License

  •0•0•0•0•Updated Sep 4, 2022Sep 4, 2022

• Simulation-of-Non-Linear-Oscillators

  Public
  This is part of the ASCII mentorship program for the year 2022-23

  Python

  •1•2•0•0•Updated Sep 1, 2022Sep 1, 2022

• CP-Toolchain

  Public
  1•0•0•0•Updated Sep 1, 2022Sep 1, 2022

• .github

  Public
  We are pleased to invite you to the *ASCII Mentorship Programme*. This mentorship programme is structured to give students an opportunity to work with their seniors on various projects in an academic setting.

  MIT License

  •0•0•0•0•Updated Aug 21, 2022Aug 21, 2022

• SWOLE

  Public
  SWOLE - Linux Distribution for Wearables

  clinuxoperating-system

  MIT License

  •0•3•0•0•Updated Aug 20, 2022Aug 20, 2022

• AutoEval

  Public
  Python

  •0•0•0•0•Updated Aug 20, 2022Aug 20, 2022

• HRMAA-Prototype

  Public
  Kotlin

  •9•0•0•0•Updated Aug 20, 2022Aug 20, 2022

• Gait-Analysis

  Public
  0•0•0•0•Updated Aug 20, 2022Aug 20, 2022

• nemo-lang

  Public
  Nemo: A functional programming language

  programming-languageinterpretercompiler+ 3functional-programmingmentorshipcompiler-design

  MIT License

  •0•2•0•0•Updated Aug 17, 2022Aug 17, 2022

• RFID-Based-Indoor-Positioning

  Public
  MIT License

  •0•0•0•0•Updated Aug 17, 2022Aug 17, 2022

• Agent-Based-Modeling

  Public
  Agent based modeling (ABM) is a bottom-up simulation technique where we analyze a system by its individual agents that interact with each other.

  abmagent-based-modelingagent-based-simulation

  MIT License

  •0•1•0•0•Updated Aug 15, 2022Aug 15, 2022

• Dynamic-Solution-Optimization-of-the-General-Pickup-and-Delivery-Problem

  Public
  0•3•0•0•Updated Aug 14, 2022Aug 14, 2022

• Generative-Adversarial-Networks

  Public
  MIT License

  •0•0•0•0•Updated Aug 14, 2022Aug 14, 2022

• mhealth-frontend

  Public
  0•0•0•0•Updated Aug 10, 2022Aug 10, 2022

• Manifestation-of-Chaos-LSTM

  Public
  MIT License

  •0•1•0•0•Updated Aug 10, 2022Aug 10, 2022

• Medical-Scan-Feature-Extraction

  Public
  0•0•0•0•Updated Aug 10, 2022Aug 10, 2022

• Geospatial-Machine-Learning

  Public
  0•0•0•0•Updated Aug 9, 2022Aug 9, 2022

• VISIO

  Public
  0•0•0•0•Updated Aug 7, 2022Aug 7, 2022

• Evalix

  Public
  Evalix is an application for simplifying and automating the evaluation steps for coding labs in BITS Goa.

  MIT License

  •0•0•0•0•Updated Aug 6, 2022Aug 6, 2022

• Chaos-Dynamics

  Public
  Jupyter Notebook

  •1•2•0•0•Updated Aug 6, 2022Aug 6, 2022

• Data-Compression-in-IoT-devices

  Public
  Researching and subsequently implementing data compression algorithms on Internet of things(IoT) devices

  0•0•0•0•Updated Aug 5, 2022Aug 5, 2022

• mhealth-backend

  Public
  The project is intended to give a hands on experience with development and design of REST APIs

  1•1•0•0•Updated Aug 5, 2022Aug 5, 2022

• captainCaption

  Public
  A web extension to annotate scientific phrases in lectures.

  MIT License

  •0•0•0•0•Updated Aug 4, 2022Aug 4, 2022