An implementation of the mechanical correspondence between algorithms for type checking
-
Updated
Oct 12, 2012 - Standard ML
An implementation of the mechanical correspondence between algorithms for type checking
read out binary as string and write binary (string) in files to reduct.
Reduction (256-elements) written in Altera OpenCL
Fast geometry simplification using the Visvalingam effective triangle area method.
A project to simulate QuineMcClusky process to do the following: 1- Generate and print all prime implicants using the Quine-McCluskey tabulation method. 2-obtain and print all the essential prime implicants. 3-Obtain the subset of the non-essential prime implicants needed to complete the solution.
3D Modeling Graphics System (Win 3.1, Borland C++, 1996)
For use with Treehouse Workshop - Observer Pattern using Java
Small facility which reduces naive decision tree models as produced by mllib
DataHigh: A graphical user interface for visualizing and interacting with high-dimensional neural activity
VUTBR - FIT: TIN 2018/2019
Untyped Lambda Calculus in python
Animations for Elementary-Affine-Net interactions
Add a description, image, and links to the reduction topic page so that developers can more easily learn about it.
To associate your repository with the reduction topic, visit your repo's landing page and select "manage topics."