Search Results for "bns-tools"
Sort By:
63 projects for "bns-tools" 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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
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.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
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
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
-
13
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.
-
14
-
15
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.
-
16
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
-
17
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.
-
18
-
19
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.
-
20
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.
-
21
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.
-
22
Bex is a scripting language for the Java platform. It is based on the BeanShell scripting language but it provides better tools for functional programming.
-
23
This project offers 3 basic tools for manipulating binary files: 1) flexible hexdump 2) hexencoder that reads a binary file and applies provided binary changes at given offsets and 3) a binary compare that gives summary of ranges where files differ
-
24
MOSREF provides a secure, portable and dynamic environment for the development, deployment and management of network and host security auditing tools.
-
25
Bee script is a scripting language for the Java platform. It is based on the BeanShell scripting language but it provides better tools for functional programming.
