latexcalc is a "LaTeX Calculator" that calculates values inside your LaTeX files before typesetting them. More accurately, it preprocesses files written in a superset of the LaTeX typesetting language and evaluates specified expressions in the text.
News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki
ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici
In 2015, we converted cBench to open Collective Knowledge Format (CK) and moved it here:
http://github.com/ctuning/ctuning-programs
CK allows you to simplify compilation and execution of these benchmarks across multiple platforms (Windows, Linux, MacOS, Android ...).
Collective Benchmark (cBench) is a collection/extension of open-source programs and multiple datasets to enable realistic benchmarking and research on program and architecture optimization.
Compose* is a project that aims at enhancing the modularization capabilities of component- and object-based programming. In particular, Compose* offers aspect-oriented programming through the composition filters model.
allspice is a set of java libraries that allow you to easily create (or extend) programming languages that run on top of the JVM for seamless integration with java. Code written in one language is indistinguishable from another.
Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Visual Basic, etc, in a only language. It's implemented by means of a compiler written in Haskell that generates Ruby code.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
lightJacc is a small but strong grammar parser generator. It adopts a parsing strategy of its own: dynamic concurrent parsing -- which made it much stronger than LR or LL family CCs (YACC, ANTLR, etc), but still keep good performance.
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
A data parallel scientific programming model. Compiles efficiently to different platforms like distributed memory (MPI), shared memory multi-processor (pthreads), Cell BE processor, Nvidia Cuda, SIMD vectorization (SSE, Altivec), and sequential C++ code.
openASN.1 is an Open Source Java toolkit for the Abstract Syntax Notation One (ASN.1) which consists of a compiler and codec with a low footprint runtime library.
Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.
YALC is a virtual architecture designed for educational purpose. It models a DLX-like processor and its set of ASM instructions, a compiler from a high level language (C-like), and an IDE with syntax checking and highlighting.
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.
Annotation based lexer and parser generator suitable for processing wide range of languages, from small domain specific languages to big ones like Java. Actions may be written directly as annotated java methods. Examples of expression language and Java5.
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
QVT-Rel2Op translates QVT-Relations model-transformation specifications to the imperative QVT Operational Mappings language. It is based on EMF, openArchitectureWare, ANTLR and the QVT-Parser project.
QVT-Parser parses QVT-Relations model-transformation specifications from textual syntax into EMF QVT-models. QVT defines a language for expressing model-to-model transformations. The parser is is built using ANTLR and EMF.
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducing the accidental cost of programming. http://github.com/h4ck3rm1k3/
This is a compiler which produces ANNs out of a simple, procedural programming language. Those programs can then be subject to genetic algorithms and neuro-evolution to enhance them automatically.
RunCC is a new kind of parsergenerator that generates parsers and lexers at runtime. Source generation is only optional. It features the absence of any cryptography. Although intended for small languages, it comes with Java and XML example parsers.