Search Results for "re-tools"
Sort By:
69 projects for "re-tools" with 2 filters applied:
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
pyexpander
A powerful macro processor based on python
Pyexpander is a powerful macro processor based on python. Instead of simple macro replacement it offers evaluation of arbitrary python expressions and execution of python code. Pyexpander is Turing Complete. -
3
eXist-db
eXist-db is a feature rich Open Source native XML database
eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist -
4
Jamocha is an open source rule engine. The objective of Jamocha is to provide a high quality rule engine and expert system shell environment. We would provide you an engine, the required development tools and a best practice methodology.
-
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.
-
5
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.
-
6
cado
Template-based code generation language.
Cado is a mature code generation language that operates on standard templates with embedded macros. It is useful for generating source code and other related content (tests, docs, configuations, etc.), deriving from a common project nomenclature. -
7
Classic BCPL for the ATARI ST
BCPL was designed by Martin Richards at Cambridge University (1966)
Here you will find a collection of BCPL tools I've gathered from the net, cleaned up and ported to the Atari ST. This involved fixing bugs, reducing stack usage and making the code compile in 16bit via Pure C (Turbo C for the Atari ST). Source credits include: Martin Richards - BCPL Kit http://www.cl.cam.ac.uk/~mr10/ Robert Nordier (Translated interp to C) http://www.nordier.com/ Serge Vakulenko (Translated cg/syn/trn to C) https://github.com/sergev/b I'm sure there are other names, but those are the ones on the source files. ... -
8
The Maude Development Tools are a set of plugins that embed the maude interpreter (http://maude.cs.uiuc.edu) in Eclipse. It provides a core plugin, which allows to any Java program to use Maude, and a set of plugins which provide an Eclipse-based IDE
-
9
We extend the Eclipse IDE with tools for development in Haskell, a functional programming language, providing support for a wide range of tools (compilers, interpreters, doc tools etc.) in a coherent, convenient and configurable environment.
-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
10
Kayacc
A Compiler Development Toolkit
...The class library supports symbol tables, Unicode text manipulation, reserved word mappings, and translating between Unicode and byte oriented encodings. Tombo is an alternative for lex, yacc and Bison tools. Source can be browsed in git/code repository or src directory. Send e-mail to tombo@gekkoware.com for support -
11
jWAM
A 100% Java Warren Abstract Machine implementation.
...However, if you need a Java based Prolog engine for your project I recommend tuProlog and jTrolog as they are at the moment way more mature than jWAM. Most notable to-do's: - Built-in predicates. - Debugging tools. - Testing. - Documentation and commenting. - Android port. (I have the engine working with a test app but I still need to build a proper app). - Alpha release -
12
XAMOS
Cross-platform reimplementation of AMOS BASIC (runtime)
XAMOS is a cross-platform reimplementation of AMOS BASIC based on jAMOS, fully re-written in C++ with SDL libraries. Currently runtime only, however is widely compatible with jAMOS projects. -
13
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration. -
14
Co-op is a workbench for the definition and use of composition operators: abstractions that can encapsulate standard solutions such as coding idioms, design patterns and composition techniques, and can later be (re-) used just like library classes.
-
15
Prime Mover is a small and flexible build tool intended to be used instead of make. It is intended to be deployed with the projects that use it, and does not requires installation to use. It is modular and can be extended using the Lua scripting lang
-
16
JPype is an effort to allow python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines. Maintenance and evolution of the project has moved! please see http://www.jpype.org for the latest version
-
17
jNetStream is a sniffer and a protocol analyzer. Includes applications and library. 100s of protocols are defined. Includes scripting. It is appropriate for custom protocol development, grad students, and network teachers/professors. Full SDK included.
-
18
-
19
A set of Eclipse plugins for the Scheme programming language. Features a powerful, fully extensible S-expression-based editor. Integrates seamlessly with any Scheme interpreter.
-
20
This is a collection of small to mid-sized tools I wrote, mostly in java. this includes an XML-Parser and a 3d engine. Please see the homepage for a closer description
-
21
jAstyle is a 100% pure Java port of the GPL’d AStyle (http://astyle.sourceforge.net/). jAstyle is intented to be created as a library and not as a command line tool, so It does not support those options associated to standard output or console.
-
22
-
23
XVCL is a general-purpose language for configuring variants in all sorts of textual documents (including programs). It is based on frame technology. XVCL processor automates the customization process to produce system from specification of variants.
-
24
LOLCode IDE plugin for Eclipse. LOLCode is a new humorous language designed to teach those new to programming, and to be enjoyed by the rest of us. This plugin does syntax highlighting, code folding, debugging and content assistance.
-
25
MeMo (stands for Meta-Model) is planned as Generic Programming Language & IDE, as flexible & smart as it is possible for computer application, including adjustable syntax, algorithm reduction. Ideally, it has to contain AI for interacting with the user.
