Fuse. Flowlang (The Flow Programming Language) Welcome to Approximatrix. The Forest Project. The Frenetic Project. Fabric Project. Fabric is a high-level programming language for building open distributed applications with strong security.
Fabric enables securely computing and storing information, and sharing code and data across trust boundaries. It is being developed by the Applied Programming Languages Group at Cornell University. Fabric presents a single-system image of all resources that can be named by it, making programming easy. It is a decentralized system with no central security enforcement mechanism, yet it provides security guarantees to mutually distrusting users. The key to strong, compositional information security guarantees is the use of information flow control.
Fabric's programming language, based on Jif, controls the placement of computation and data through type annotations that set policies for information security. Releases In addition to the downloads below, the full history of Fabric releases is also available on GitHub: Current release Previous releases and branches Related group publications. Futhark - High-Performance Functional Programming. Formal Modeling with Formula. FORMULA 2.0: Formal Specifications for Verification and SynthesisFormula specifications are highly declarative logic programs that can express rich synthesis and verification problems.
FORMULA 2.0 is framework for formally specifying domain-specific languages (DSLs) and model transformations. FORMULA specifications are succinct descriptions of DSLs, and specifications can be immediately connected to state-of-the-art analysis engines without additional expertise. FORMULA provides: (1) succinct specifications of DSLs and compilers, (2) efficient compilation and execution of input programs, (3) program synthesis and compiler verification. FAST: A Transducer-Based Language for Tree Manipulation.
FAST: A Transducer-Based Language for Tree Manipulation Loris D'Antoni, Margus Veanes, Benjamin Livshits, and David Molnar November 2013 Abstract Tree automata and tree transducers are used in a wide range of applications in software engineering, from XML processing to language type-checking.
While these formalisms are of immense practical use, they can only model finite alphabets, and since many real-world applications operate over infinite domains such as integers, this is often a limitation. To overcome this problem we augment tree automata and transducers with symbolic alphabets represented as parametric theories.
Details. F*: A Higher-Order Effectful Language Designed for Program Verification. p2t2/figaro. The Futhark Compiler Open Source Project on Open Hub. Fusion-lang - A powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Haskell, Pascal, Visual Basic, in a only language! Fusion is a powerful high level programming language that merges several feature from Ruby, Python, Java, C++, Haskell, Pascal, Visual Basic, in a only language.
It’s implemented by a compiler written in Haskell that transform Fusion code in Ruby code. It’s probable that in the near future the code will be compiled in various agile programming languages, like Python or PHP. However, at the moment we’re focusing the attention only on Ruby. Sample program written in Fusion Implementations of URM machine, see Computability, Nigel Cutland. function prime(n) # The exponent of the prime number 2 in the expansion of n e = 0 while n % 2 == 0: n >>= 1; ++e return e. The Fancy Programming Language. F Programming Language Homepage. [ About F | Compilers | Books ] [ Resources | Example Code ] ``Perfection is achieved, not when there is nothing more to add, but when there is nothing left to take away.'' - Antoine de Saint Exupery ``I really appreciate the F software.
Usually if I can get my programs to compile under F, they simply work. DBIS - Datenbanken und Informationssysteme. Overview FLORID (F-LOgic Reasoning In Databases) is a deductive object-oriented database system employing F-Logic as data definition and query language.
The development was supported by the Deutsche Forschungsgemeinschaft (project La 598/3-2). With the increasing interest in semistructured data, Florid has been extended for handling semistructured data in the context of Information Integration from the Semantic Web. See also the LoPiX system for a migration of Florid to XML. Flora-2. Foma - finite-state compiler and C library. November 17, 2012: foma 0.9.17 released.
Many bugfixes. Foma is a compiler, programming language, and C library for constructing finite-state automata and transducers for various uses. It has specific support for many natural language processing applications such as producing morphological analyzers. Although NLP applications are probably the main use of foma, it is sufficiently generic to use for a large number of purposes.
The foma interface is similar to the Xerox xfst interface, and supports most of the commands and the regular expression syntax in xfst. The library contains efficient implementations of all classical automata/transducer algorithms: determinization, minimization, epsilon-removal, composition, boolean operations. Finitio - A Data Language. Frege/frege. Home · faylang/fay Wiki. FLORA-2. FoCaLiZe. FUN - Fun Programming Language. The Frenetic Project. Home · faylang/fay Wiki. The Fancy Programming Language. The programming language of OpenFOAM. In order to understand the way in which the OpenFOAM library works, some background knowledge of C++, the base language of OpenFOAM, is required; the necessary information will be presented in this chapter.
Before doing so, it is worthwhile addressing the concept of language in general terms to explain some of the ideas behind object-oriented programming and our choice of C++ as the main programming language of OpenFOAM. 3.1.1 Language in general The success of verbal language and mathematics is based on efficiency, especially in expressing abstract concepts. For example, in fluid flow, we use the term “velocity field”, which has meaning without any reference to the nature of the flow or any specific velocity data. The term encapsulates the idea of movement with direction and magnitude and relates to other physical properties. . , and express certain concepts using symbols, e.g. . Frege Programming Language. Fornax-language - Grammar and Lexical Analyzer for a Matrix Manipulation Language. Fornax is a simple and premature programming language especially designed for "matrix manipulation".
This project has been accomplished as a CS Programming Languages course project and aim is to design,create lexical analyzer, grammatical validator for a matrix manipulation language. Includes design and BNF grammar reports, lexical analyzer (lex) and grammatical analyzer (yacc), example programs. FermaT. [Home] [Publications] [Software] [G.K.
Chesterton] [GKC books] [GKC pictures] The FermaT Maintenance Environment Download fme.tar.gz (5.0 MB) The FermaT Maintenance Environment is an interactive front-end to the FermaT Program Transformation System (see below). The Ferite Programming Language. Hawk/Ftwalk: Home. Friend. FBSL. Flavor Main Page. FIJI the ForthIsh Java Interpreter. Web.archive.org/web/20040605062546/ Wouter's Wiki : False Language.
The False Programming Language I designed this language in '93 with two particular objectives: confusing everyone with an obfuscated syntax, and designing an as powerful language as possible with a tiny implementation: in this case a compiler executable of just 1024 bytes (!) , written in pure 68000 assembler. Here's a couple of example programs to give a taste of what False looks like: Not just toy programs have been written in False, the list of programs in the distribution includes various useful convertion utilities, a compression program, Life, an expression evaluator, a module ripper, queens, tic-tac-toe, a html-table generator, and, probably the biggest False program ever, a complete working BreakOut clone.
If you want to look at all of this yourself, get the full False 1.2b distribution zip or lha (includes all source, including the compiler and portable interpreter). False has inspired other people to implement similarly perverse languages. “Brainfuck” by Urban Mueller. F-Script Home. Free Server Pages. Version 0.0.0 (dd-mm-yyyy)14-11-1999 FLASH:FSP Conceptual version released!!! What is "Free Server Pages" FSP is interesting web-related project for making tool for embeding ANY program language into the web page source. This project is very different from Microsoft ASP, because ASP is server side parcer/translator. The FSP will be free under GPL. It will be realized with Perl 5 language, and will be strong oriented to UNIX-like OS. FramerD Home Page. Axiomatic Software - Frogbit. Functional Nets. Introduction Funnel is a programming language based on Functional Nets.
Functional Nets combine key ideas of functional programming and Petri nets to yield a simple and general programming notation. They have their theoretical foundation in Join calculus. Read our introduction to learn more about Functional Nets and Funnel. Our Overview of Functional Nets is the latest document describing Funnel. The first prototype implementation is Funnel0, a dynamically typed version of Funnel. Funnel0 and Funnel1 programs are compiled into Funnel bytecodes. Papers Nested Types. Martin Odersky and Christoph Zenger.In Proceedings FOOL8, Workshop on Foundations of Object-Oriented Languages., January 2001. Force Developments & Bit-max SHS. ENforce Developments. .net, delphi Reporting tools - Fast Reports Inc. Titlepage. Finch. Fril - Downloadable resources. This page contains links to downloadable copies of Fril for various platforms and other Fril resources.
Most of them are not maintained, apart from the Mac version. Fril is licensed for educational, research or private use by any individual or organisation. It may not be sold or included in any system used commercially without prior written agreement from the authors. The software is provided on an "as-is" basis, with no warranty or guarantee, and no liability arising from its use. You must read and agree to the licensing conditions before installing Fril or any of the packages listed below. Preliminary online version of the built-in predicate reference manual. FormulaOne Compiler. Cross-platform Scripting engine for delphi/c++Builder/kylix/ lazarus - Fast Reports Inc. Flexible and powerful A unique feature of FastScript is its ability to use several languages (PascalScript, C++Script, BasicScript and JScript). Fast Lightweight Expression Evaluator.
Wouter's Wiki : False Language. LF Fortran for .NET. Support for Object Oriented Extensions, .NET Extensions Support for Numeric Intrinsic Functions.
FluentScript - A scripting language with english-like syntax. FerrScript. Foma - finite-state compiler and C library. The Ferite Programming Language. Fuzuli - A new general purpose interpreter. Funktional - A dash of functional programming for PHP 5. Fun (a programming language for the realtime web) August 8th, 2010. The Flow Programming Language. Felix. Frege - Frege Programming Language. Faust. Frink. What's New * FAQ * Download * Frink Applet * Web Interface * Sample Programs * Frink Server Pages * Frink on Android * Donate About Frink. The FACT Programming Language.
Factor programming language. Fishkill / Fishkill. Branch to Fishkill n. [IBM: from the location of one of the corporation's facilities] Any unexpected jump in a program that produces catastrophic or just plain weird results. Vlinder Software's Funky embeddable functional programming language. Forxx. Furry Paws - a whole-program compiler for FP. Fury OS. Fantom Programming Language. The Fancy Programming Language. DBIS - Datenbanken und Informationssysteme. Fexl. The Falcon programming language.
Felix. The Ferite Programming Language.