Search Results for "gnu/linux" - Page 8
Sort By:
1059 projects for "gnu/linux" with 2 filters applied:
-
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.
-
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.
-
1
Galliwasp
Goal-directed answer-set programming
Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method. -
2
CoffeeScriptRedux
Rewrite of the CoffeeScript compiler with proper compiler design
CoffeeScriptRedux is a rewritten version of the CoffeeScript compiler with emphasis on compiler design principles, robustness, and extensibility—designed to be "complete enough to use for nearly every project." Before transitioning from Jeremy's compiler, see the intentional deviations from jashkenas/coffee-script wiki page. Complete enough to use for nearly every project. Proper compiler design principles and a focus on robustness and extensibility. -
3
ASIS (Ada Semantic Interface Specification) for GNAT on gcc. ASIS is a published international ISO standard (ISO/IEC 15291:1999). ASIS based tools are available as well.
-
4
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
-
6
-
7
Sisal is a unique parallel language that supports a clean, fully implicit parallelization model. The optimizing sisal compiler (sisalc) works on top of pthreads to give high performance on commodity SMP architectures.
-
8
A Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically compiled.
-
9
Iterative Flow Analysis
Iterative Data and Control Flow Analysis
https://github.com/jplevyak/ifa IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal or declared types) and the interprocedural call graph for statically or dynamically typed programs. -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
10
Open Utlity
Open Utlity is series of unix utlity just like gnu for linux / windows
Open Utility is series of Unix utility which is currently in development.currently it has a c compiler which is based on early unix c compiler.later versions like v1 or later has in build assambler and linker.it can be used in place of gcc it is good alternative of gnu c compiler -
11
The Language of Your Choice (Loyc) project is intended to become a rich set of tools for cross-language interoperability. THE PROJECT HAS MOVED TO GITHUB / LOYC.NET / CORE.LOYC.NET
-
12
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
13
This project aims to provide a common and convenient environment for evaluating C and C++ compilers' relative performances on some well-known benchmarks and applications.
-
14
Minimalistic Assembler Interpreter
miniasm is a short bytecode based assebler, interpreter and compiler
-
15
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
-
16
test-gcc-arm-embedded
Test if gcc arm embedded can be hosted here
-
17
PBFC - Portable Brainfuck Compiler
x86 & x64 Brainfuck Compiler
Brainfuck compiler for x86 & 64 Linux. Assembles, compiles and links Brainfuck source code directly to executable files. -
18
ghaggis
GHC : Glasgow Haggis Compiler
This is a compiler for the 'pseudocode' Haggis used by the Scottish Qualifications Authority for specifying pseudo code. The compiler is implemented in Java. -
19
Firefly's Foxfire
A lisp system for embedded systems.
-
20
star language
Star Programming Language Compiler
Star is a full featured programming language which has a strong functional programming flavor. It is intended to be safe, readable and extensible. -
21
mojo
mojo provides fast analyzes for your business processes
...Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt -
22
A new object file format for orthogonal representation of advanced object files in a platform-neutral manner. This is to be complemented by tools that allow for completely platform-independent linking and dynamic loading of object and executable modules.
-
23
RECODER is a Java framework for Java program analysis and source code transformation. It computes an easy to use syntactic and semantic program model containing cross references, and it supports transformation rollbacks and incremental model updates.
-
24
Swf Reader
Adobe Flash SWF file reader, editor
Adobe Flash SWF editor which can read and edit bytecode. -
25
This is Richard C. Waters' SERIES package for Common Lisp. In a nutshell: Think "Efficient MAPCAR" SERIES translates functional-style expressions into efficient loops. Series are to loops as control structures are to GOTOs.
