background preloader

F

Facebook Twitter

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 Project

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. 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.

Formal Modeling with Formula

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. 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.

FAST: A Transducer-Based Language for Tree Manipulation

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. 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.

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!

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.

F Programming Language Homepage

Usually if I can get my programs to compile under F, they simply work. Frege/frege. 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.

DBIS - Datenbanken und Informationssysteme

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. Flora-2. Foma - finite-state compiler and C library. November 17, 2012: foma 0.9.17 released.

foma - finite-state compiler and C library

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. 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.

The programming language of OpenFOAM

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. . 3.1.2 Object-orientation and C++ 3.1.3 Equation representation is represented by the code 3.1.4 Solver codes.

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".

fornax-language - Grammar and Lexical Analyzer for a Matrix Manipulation Language

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. Note: This programming language does not have a compiler so that programs written in this language cannot be executed at all. There exists only grammatical validator for this language. You can check out the source code via Subversion: FermaT. [Home] [Publications] [Software] [G.K.

FermaT

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). Click here for a screenshot. Click here for the tutorial. The left window shows the parse tree for the current program, the middle window shows the pretty-printed WSL code and the right window shows the transformation catalogue. Linux Users You will need a recent version of java installed, see if necessary. Unpack the downloaded archive with the command: The Ferite Programming Language. Hawk/Ftwalk: Home. Friend. FBSL. Flavor Main Page.

FIJI the ForthIsh Java Interpreter. Web.archive.org/web/20040605062546/ <head><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"><meta name="Author" content="Fabian Suchanek"><title>FAST -- Free And Straight Translator</title> A New Programming Language (c) 1997-2003 F.M.Suchanek. 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. 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. 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. Fast Lightweight Expression Evaluator. Wouter's Wiki : False Language. LF Fortran for .NET.

Forth family

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) 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 Frink is a practical calculating tool and programming language designed to make physical calculations simple, to help ensure that answers come out right, and to make a tool that's really useful in the real world. It tracks units of measure (feet, meters, kilograms, watts, etc.) through all calculations, allowing you to mix units of measure transparently, and helps you easily verify that your answers make sense. It also contains a large data file of physical quantities, freeing you from having to look them up, and freeing you to make effortless calculations without getting bogged down in the mechanics.

Perhaps you'll get the best idea of what Frink can do if you skip down to the Sample Calculations further on this document. Frink was named after one of my personal heroes, and great scientists of our time, the brilliant Professor John Frink. Features. The FACT Programming Language. Factor programming language. Fishkill / Fishkill. 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.