Search Results for "source code computer" - Page 5
Sort By:
138 projects for "source code computer" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Our Free Plans just got better! | Auth0You 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.
-
1
METIL is a python-like interpreted or compiled language made for speed and generic programming, as in C++ but with static symbolic computations, type propagation, "for" surdefinition. Object orientation is centered on properties, rather than hierarchy.
-
2
Topologia Digital (Digital Topology) is a project for the development of the practical exercises of the Digital Topology course in the Applied Mathematics Department of the Computer Science Faculty (Polytechnic University of Madrid, Spain).
-
3
-
4
{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.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
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.
-
6
Pulga is a program for numerical simulation of dynamical systems designed to provide students and researchers an easy way to model and qualitatively analyse their systems on a computer without the difficulty of traditional computer programming languages.
-
7
A generic C++ matrix library using expression template and metaprogramming to provide specialized code for various kind of matrix operations.
-
8
This project started as a loosely specified request from Malardalen University in Sweden to develop a computer game for the purpose of teaching mathematics. It came to be a 2D game, Mario-style, where progress is made by answering mathematical questions
-
9
Cellular Automata simulator. Native code (fast) and modular design: update rule, topology, time, measurement, initialization are independant. No GUI (for now...): configuration file (commented default automatically generated) overridable by command line.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
neuralnetgen is intended to be a universal neural net generator that receives a neural net description (on Neural Net Description Language, also developed on this project) and generates ANSI C code of a library that implements it.
-
11
REPCAL (REverse Polish CALculator) is a light and fast calculator in RPN (reverse polish notation) mode for the console (command line). It is written in 180 lines of Python code, and can be used both interactively or inside shell scripts.
-
12
Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.
-
13
CABLE (Computer Algebra Based Learning and Evaluation) is an online mathematical assessment tool for use with an open source computer algebra system.
-
14
mupacs is a lisp mode for editing MuPAD code (automatic indentation, fontification, ...), as well as running MuPAD in a subshell, with support for debugger and online documentation
-
15
"CAGE", the Computer Audio Garden in Eclipse, is to be an Eclipse-based, Java and XML workbench, for the computer music composer. It will use the Rich Client Platform to provide a basic backbone framework, enabling existing computer music tools to be p
-
16
Numerically estimate an efficiency of code construction algorithms. Randomly generate n binary words of length m with minimum Hamming distance d and create a prefix code (= retrieval tree) from them. Based on PhD work.
-
17
This is a conversion-to-binary training game prototype. Random bits appear, and you must shoot them where they fit onto various bytes (given in octal, hex or even bit ops, decimal or Ascii). Shoot wrongly and you lose that byte, or get it right and win.
-
18
Mathniac is a computer algebra system and a small, portable C++ library with symbolic math capabilities. Features: - Symbolic math with multivariable functions and expresions. - Symbolic derivation. - Matrix algebra, etc...
-
19
Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca
-
20
GoGraph is a tutorial software giving informatics students an easy, interactive and ergonomic way to learn and exercise the graph theory. It is based on JGraph, an open-source graph component for Java.
-
21
kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.
-
22
Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g
-
23
-
24
SymDiff is a little command line tool for symbolic differentiation and expression evaluation. Furthermore, the code can be used for the symbolical implementation of certain mathematical algorithms that require derivatives.
-
25
Emily is a friendly name for the Machine Learning Environment (MLE). This project is at an early stage of development, and no alpha code is yet available.
