langit Goto Github PK

analytica

Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also able to deduce correctness of certain simplification steps that would otherwise not be performed.

android-sms-gateway

The SMS Gateway for Android™ app enables sending and receiving SMS messages through an API that can be accessed directly on the device or via a cloud server when direct device access is not possible.

bcn3d-moveo

Open Source 3D Printed Robotic Arm for educational purposes

bcnc

GRBL CNC command sender, autoleveler and g-code editor

beergame

A text based beer game server and client.

car-safe-predictor

This repository contains a machine learning project that applies the K-Nearest Neighbors (KNN) classification algorithm to predict car safety ratings. The project uses a dataset of cars, with features such as buying price, maintenance cost, number of doors, persons, lug boot size, and safety.

check50

This is check50, a command-line program with which you can check the correctness of your programs.

deepreinforcementlearning

A replica of the AlphaZero methodology for deep reinforcement learning in Python

django

The Web framework for perfectionists with deadlines.

django_quiz

This is a configurable quiz app for Django.

dpt-tools

dpt systems study and enhancement

fingerprint-enhancement-python

Using oriented gabor filters to enhance fingerprint images

fluid-designer

Open Source Design Software built on Blender

galgebra

gekko

A bitcoin trading bot written in node - https://gekko.wizb.it/

grbl

An open source, embedded, high performance g-code-parser and CNC milling controller written in optimized C that will run on a straight Arduino

inequality-mobility-income-and-happiness

In this repo you can find all of the documents for one of my PhD comprehensive exams. In this comprehensive exam I took a two-day seminar on multilevel modeling, and then ran, interpreted, and visualized those models.

interview

iris

Iris Recognition Algorithms Comparison between Daugman algorithm and Hough transform on Matlab

irisrecognition

Old iris recognition software I made with my friend. It uses Hough and Gabor transforms to make things happen.

jael

my-pychess

A Multiplayer / SinglePlayer / Online Chess Game app written in Python using Pygame Library

numbering2pdf

peatio-client-python

peatio client written in python

prairielearn

Online problem-driving learning system

py-grader

A simple script to easily interact with basic Python 3 programs and grade them. Useful for grading or self-checking assignments in introductory courses that use Python 3.

pymag-trees

Code from the article "Drawing Good-looking Trees" in Python Magazine

pymprog

An easy and flexible mathematical programming environment for Python.

pythonstdiogames

A collection of text-based games written in Python 3 that only use "standard i/o".

pytsugi

A Python Implementation of Tsugi (deprecated)