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.

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.

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

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

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)

revman

some python code for revenue management

rise-robot

sakai

Sakai is a freely available, feature-rich technology solution for learning, teaching, research and collaboration. Sakai is an open source software suite developed by a diverse and global adopter community.

scholar.py

A parser for Google Scholar, written in Python

simplex

A tool for teaching simplex and branch & bound methods. Simplex tableau will be shown and may be saved to excel file. For the branch and bound method, a binary tree shows the branches. A simple format is used to specify models. You need Python to run.