Search Results for "computer-aided software engineering"
Sort By:
Showing 57 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language designed for science, scripting, and many other applications. Binaries are available for Windows, Linux, Solaris, OS/2, Mac OS X, Raspberry Pi and DOS. -
2
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
-
3
pgapack, the parallel genetic algorithm library is a powerfull genetic algorithm library by D. Levine, Mathematics and Computer Science Division Argonne National Laboratory. The library is written in C. PGAPy wraps this library for use with Python.
-
4
uniclient
An universal TCP client.
Uniclient is an universal TCP client. It connects to a TCP server and executes an Aime program against the server. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
Programming language designed to simplify the development of small and large-scale networked applications. PROSE includes an execution engine and language that compiles into platform-independent bytecode. Bytecode can also be assembled directly.
-
6
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
7
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
8
-
9
newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
11
-
12
Freemat is an interpreted, matrix-oriented development environment for engineering and scientific applications, similar to the commercial package MATLAB. Freemat provides visualization, image manipulation, and plotting as well as parallel programming.
-
13
Brandy Basic V Interpreter
Brandy is an interpreter for BBC Basic
Brandy is an interpreter for BBC Basic (or Basic V) that runs under a variety of operating systems. Basic V is the version of Basic supplied with desktop computers running RISC OS. These were originally made by Acorn Computers. -
14
bish-shell
BASIC Interpretative SHell
A shell loosely based on the old Commodore and Tandy BASIC interpreters, with some small updating to modern computer systems -
15
Kiwi Engine is framework contains intermediate representation & executor to implement interprete. It is designed for Mac OS X.
-
16
yorick
scientific programming language and graphics
Yorick is an interpreted programming language for scientific simulations or calculations, postprocessing or steering large simulation codes, interactive scientific graphics, and reading, writing, or translating large files of numbers. -
17
I is a cross-platform programming language designed towards efficiency during development and at runtime.
-
18
BASIC interpreter for the standard (SUS) character screen handling library, which fully corresponds to the Tiny BASIC standard. The code is thread-safe and can be embedded into other code. Can be used as a game or a minimalist challenge.
-
19
Ceres is an interpreted computer language based on C, that can be used as a script language. Its purpose is to be minimal and simple and it is being developed as a hobby, so do not expect much of it. Its interpreter is written in C/C++.
-
20
aal
The Advanced Algebraic Language.
The Advanced Algebraic Language (AAL) is a very dynamic programming language designed to fill the void that has appeared between mainstream languages and algebra. As a result its main focus is ease of use for math problems. To download AAL check out the source code repository. There are versions available for windows and linux with both 32 and 64 bit native binaries: http://svn.code.sf.net/p/aal-lang/code/trunk/bin/ -
21
IPAT-S is a scenario modeling language. Use it for rapid development of quantitative strategic scenarios for governments, agencies, businesses, etc. using a fast and compact interpreted language. Package includes IPAT Studio development environment.
-
22
Small-K (Small Calculator) is a command line based mathematical expression evaluating engine in C. It supports symbolical extension in the forms of math functions with arbitrary number of arguments (e.g. f(1, 3)) and variables (e.g. PI).
-
23
Distributed Parallel Programming for Python! This package builds on traditional Python by enabling users to write distributed, parallel programs based on MPI message passing primitives. General python objects can be messaged between processors. Ru
-
24
The Simply Magical Programming Language, or SMIPL, gives everyone the chance to create their own programs without difficulties. Created to be as easy as english to understand, and let's you experience the power of a computer by writing to it.
-
25
creates a compressed trie that maps keys to values and values to keys. Compression is on the front end of keys. Useful for lightweight reserved word creation in constrained memory/processor power situations. Written in C.