Java and ColdFusion libraries to lookup country code and language from IP address. It uses a local copy of the WHOIS database to perform fast, accurate lookups of country codes. Useful for log analysis, internationalization, geolocation, etc..
A KDE based Computer Algebra System (CAS) that can also be used as an advanced replacement for KCalc. It is essentially a front end GUI for Maxima (and is easily extended to other CAS back-ends) and Gnuplot.
EasyRefDB is an online tool for storing, retrieving and searching references to scientific papers. The scientific papers currently handled by the tool are related to computer science but can be easily extended to other topics.
Esta é a documentação de um projeto de conclusão de curso feito na conclusão do curso de Engenharia de Computação-UNIVALI.É um conjunto de arquivos C e Matlab contendo a implementação da Lógica Fuzzy e simulações em sistema de enegia.
"The gAIme" is the real time strategy where player can code AI for his units using scripting language (LUA) or special logic editor. Play and survive in this bot's world!
Sk2Py is an wxPython-based IDE which assists in the migration of Cadence Skill(tm)-based PCells to Python PyCells for use in all Open Access environments. Please post any support requests or bug reports to the tracking system.
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.
Command line tool to generate Gcode for CNC applications from DXF files. Originally written for 2-axis machines such as foam cutters, it now supports 3-axis machines.
A Java based simulation of the MIC1 architecture as described by Andrew S. Tanenbaum in his book Structured Computer organization. In addition a model for interaction with a HD, screen and keyboard are provided.
A complete survey administration and data collection system. A fully featured replacement for Quancept, supporting CAPI, Web, CATI, PDA and Paper survey modes. Sonar is the reference implementation of JCaiF for CAPI and Web survey interviewing. Try it!
{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.
A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.
Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
seeetron-ssc is Java sourcecode for controlling the SEEtronics mini-SSC servo controller board (see: http://www.seetron.com/ssc.htm). The board itself does not come with Java support, so this project provides that third-party support.
MathBase is a productivity environment for mathematical problems and technical applications. You will be able to draw geometrical scenes, compute functions, plot them, and write about them, all easy as 1-2-3!
Intend to reproduce most of the conversational programming functionality of the Fagor 8055TC lathe controller. Web browser interface for easy portability between different OS. Visit project web-site for demo.
A Java toolkit of MATIP (Mapping of Airline Reservation, Ticketing, and Messaging Traffic over IP) within a Connection Framework. This will provide a set of libraries for optimized communication link between an airline and a central computer system over
JCPUSim is a CPU (Central Processing Unit) simulator written in Java. It is intended to aid in teaching how the fetch-decode-execute cycle, CPU, registers, memory and assembly programming language work in a computer system.
This is the code for the virtual world that was used to judge entrees in the Symantec Programming Competition for college students held in February 2006.
This software system serves as both a DICOM image viewer as well as a diagramming tool for collaborating notes on the given image sets. This my Computer Science graduate thesis project at Loyola Marymount University.