To help math students visualize the prufer code and/or discover anything new about the prufer code not already present. Examples and live applet on webiste.
The OKlibrary is a research platform for generalised SAT solving.
It provides tools to tackle "intractable problems" at the Maxima computer-algebra level and at the C++ level.
It also automatically installs a wide range of external software.
LCDSpicer is a screen manager, for little LCD screens, writen in c++, can be used with LCDproc or others drivers. Using plugins you can show almost everything, like system information, music players, and computer health in general.
fGPS is a code system that provides both latitude and longitude in a simple alfanumeric system that is easier to input in GPS devices, and easier to provide by phone or sms than standard coordinate systems.
C4 is a C++ class library for analyzing sound files, particularly spoken and sung phonations. C4 provides features such as frequency analysis, pitch extraction, or calculation of voice quality parameters (e.g. alpha ratio, HNR, jitter, etc.).
Linear Algebra Common Expressions (LACE) is a C++ templated library which allows you to operate with matricies and vectors inside your code as easy as on the whiteboard.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
JsMath is a means of including mathematical notation in web pages. It interprets TeX code within your document and uses JavaScript, CSS and unicode fonts to typeset the resulting formulas. It works across multiple browsers and platforms, without MathML
A 2-D inviscid flow and adjoint solver on unstructured triangular grids. It makes use of a vertex-centroid finite volume scheme which is second order accurate. The adjoint solver is developed using the automatic differentiation tool called TAPENADE.
Code has been moved to
https://github.com/cpraveen/euler2d
This project is concerned with developing a Monte Carlo simulation code for a simple hopping model of diffusion on a comb-like lattice. It is coded in C.
The `Turing Machine Compiler Collection' (tmcc) contains a virtual machine which emulates a Turing Machine such as an assembler and a C-like compiler which assemble/compile the written code into the delta-notation.
A cross-platform aplication to explore online free maps (OpenStreetMap). Build with python and pygame, full immersive environnement. Actually only sourcecode, require pygame.
JNOMO is a Jean Plugin for providing more expresiveness in its rule language. This plugin allows for retracting or priorizing rules, removing facts as a rule consecuence or even asking for the "unspecified" information into Knowledge Base.
Here, you can download the UKnow4Kids Live DVD, an educational Linux distribution with a selective compilation of educational and gaming software for children 2- to 10-years-old. Hardware requirements are minimal.
This project has been renamed to oooark. Old file releases will still be available here. uvsim is a project focused on enabling algorithm development for unmanned systems. It is being constructed to provide an identical interface to simulations and h
A system designed to drive a computer motorized telescope mount to track artificial satellites in real time. Additionally, provides video time stamping using GPS via dedicated hardware solution.
An implementation of Bruhn et al.'s fast variational optical flow algorithm using the OpenCV image processing library. The code calculates dense flow fields with a user-specified level of precision.
This Python 3.1 tool manipulates the coordinate system of CNC GCODE for machining or engraving. It can Flip X, Y, or Z coordinates, mirror X, Y, or Z coordinates, flip or Mirror both XY coordinates, or insert Z motions into a GCODE file devoid of them.
This software born with the purpose to help Cad software, mainly for mechanical designers that doesn’t have an easy predisposition on their software to doing the weight estimation.