Search Results for "open-shell" - Page 3
Sort By:
991 projects for "open-shell" 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.
-
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.
-
1
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
-
2
Ofront+
Oberon family of languages to C translator for ARM, x64 and x86 archit
...Full error analysis is performed on the Oberon input program and in case of no errors up to three files are generated as output. Ofront+ does not invoke the C compiler or linkage editor. This may be done in separate shell scripts or make files and is inherently dependent on the C compiler and linkage editor being used. Although normally not read by the user, the C code generated by Ofront+ is kept as readable as possible, nicely formatted, should not produce any C compiler error messages or warnings and is tuned for efficient execution. In fact, an Oberon program translated by Ofront+ can be expected to execute as fast and read as well as an equivalent hand-coded C program. ... -
3
Memory Layout Specification Tool
A tool for generating memory maps for low-level and embedded systems.
The Memory Layout Specification Tool (MLST) is a file specification and a collection of tools for conveying the contents of a memory map. MLST can take an appropriately formatted specification and create both a representation of the memory map for a assembler and documentation from the input file. -
4
RedtDec
RetDec is a retargetable machine-code decompiler based on LLVM
The decompiler is not limited to any particular target architecture, operating system, or executable file format. ELF, PE, Mach-O, COFF, AR (archive), Intel HEX, and raw machine code supported. 32-bit: Intel x86, ARM, MIPS, PIC32, and PowerPC 64-bit: x86-64 supported. Demangling of symbols from C++ binaries (GCC, MSVC, Borland). Reconstruction of functions, types, and high-level constructs. Output in two high-level languages: C and a Python-like language. Generation of call graphs,... -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
5
XL (eXtensible Language) is a general purpose compiled programming language. XL doesn't force you to use a limited set of concepts (such as "objects"). Instead, it can be extended (through libraries) to use the concepts that are natural to your a
-
6
Free Pascal Compiler
Free 32/64/16-bit multi-platform Pascal and Object Pascal compiler
A 32/64/16-bit Pascal compiler for Win32/64/CE, Linux, Mac OS X/iOS, Android, FreeBSD, OS/2, Game Boy Advance, Nintendo NDS and DOS; semantically compatible with Delphi, Borland Pascal and Mac Pascal (partially) with extra features, e.g. operator overloading. -
7
-
8
X11-Basic
A BASIC interpreter and compiler with graphics.
X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers. -
9
Squirrel is a light weight programming language featuring higher-order functions,classes/inheritance,delegation,tail recursion,generators,cooperative threads,exception handling, reference counting and garbage collection on demand. C-like syntax.
-
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.
-
10
Dev-C++
Open Source C & C++ IDE for Windows
Dev-C++ is a full-featured Integrated Development Environment (IDE) for Win32. It uses GCC, Mingw or Cygwin as compiler and libraries set. It supports Windows 98, NT, 2000 & XP. This is the original Dev-C++ software as published by Colin Laplace and this repository is frozen to version 4.9.9.2. For more recent versions of Dev-C++, please check the following forks: - Embarcadero Dev-C++: https://sourceforge.net/projects/embarcadero-devcpp/ (last update: March 2021) - Orwell... -
11
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.
-
12
MANOOL
Programming language with expressive power and a simple implementation
MANOOL is a practical, homoiconic, dynamic, multiparadigm general-purpose programming language with a functional core. It has high expressive power but is implemented in less than 10K LOC of optimized, idiomatic C++11 for native run-time environments. MANOOL is meant to compare and compete directly with Python, PHP, Ruby, Perl, and Tcl, although incidentally it has some combination of unusual features. Example: {{extern "manool.org.18/std/0.2/all"} in WriteLine[Out; "Hello,... -
13
The Portable Forth Environment implements the ANSI Forth Standard, it is fully written in C, the newer version has a module concept, and it is fully multithreaded. Autoconf used. Tested in embedded environments.
-
14
From PEG to a practical parser
Transcribe Parsing Expression Grammar into a parser written in Java.
Tool to transcribe Parsing Expression Grammar into a parser written in Java. Parsing Expression Grammar (PEG) is a way to specify recursive-descent parsers with limited backtracking. The use of backtracking lifts the LL(1) restriction usually imposed by top-down parsers. In addition, PEG can define parsers with integrated lexing. Unlike some existing parser generators for PEG, the tool does not produce a complex and storage-hungry "packrat parser", but a collection of transparent... -
15
Kopi provides a development environment for interactive database applications using Java, JDBC and Swing. It extends the Java language with money, date and time types, adds operator overloading and allows seamless integration of SQL.
-
16
SPL Compiler
A low-level system programming language with high-level syntax
A new system programming language designed to occupy the same niche C is currently holding, that allows for easier development of large platform-independent systems. The aims are to: * Keep all of C's system programming strengths. * Be as efficient as C (at run-time) and as high-level as possible for the programmer. * Promote modularity and ease the development of large-scale component-based software. * Enable programming-by-contract and other high-level features (as long as... -
17
APTOS is an open source Apt translator project. It consists of several CAM applications, based on the Apt programming language. It is used to create control programs for cnc mills, lathes, water jets, lasers, and other industrial equipment.
-
18
ATasm: 6502 cross-assembler
ATasm is a 6502 command-line cross-assembler.
ATasm is a 6502 command-line cross-assembler that is compatible with the original Mac/65 macro assembler released by OSS software. The aim of ATasm is to provide Atari home-brew coders with a comfortable and powerful toolset. -
19
chibicc
A small C compiler
chibicc is a small yet highly capable C compiler designed to implement most features of the C11 standard while maintaining a clean and educational codebase. It is intended as both a functional compiler and a learning resource, allowing developers to understand how compilers work by reading and studying its implementation. Despite being categorized as a “toy” compiler, it is powerful enough to compile real-world programs such as Git, SQLite, and libpng without modification. The project is... -
20
EiffelStudio is an Integrated Development Environment (IDE) that provides comprehensive facilities to programmers. It offers a comprehensive suite of tools that enable programmers to produce correct, reliable, and maintainable software while keeping control of the development process. If you want to create fast, robust, scalable applications, then EiffelStudio™ will offer you a cost-effective solution. Imagine being able to model your system as you think – capturing your requirements and...
-
21
FastSim consists of: - 'Facile' a highly flexible and expressive processor-architecture specification-language. - A compiler for the specifications which produces high-performance, fast-forwarding simulators.
-
22
TMC compiler
Translator from restricted matlab to C
Open-source tool to convert/port/migrate/optimize Octave/MATLAB(R) written projects to C-code. Consists of C-code generator and run-time support library. Support a subset of MATLAB (R) language and an extendable set of in-build functions. Git Repository: https://github.com/csafonov/tinymc -
23
Freebasic Beginners Guide
An updated Beginners guide to FreeBASIC
...Clark's and Ebben Feagan's "A Beginner's Guide to FreeBasic" and is editing, updating, reorganizing, and simplifying this guide. Mr. Clark and Mr. Feagan generously open sourced there guide so I could start this project. Without being able to stand on their shoulders I could not have even started this project. Please check out my homepage for updated information and ways you can help with this ongoing project. If you can please buy me a hamburger as it is hard writing a book. -
24
Adventure Definition Langage (ADL) - a language used to create text adventures similar to Zork and other Infocom games.
-
25
The ATS PL System
Unleashing the potentials of types and templates
The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.
