Displaying 1 to 20 from 21 results

gulp-babel - Gulp plugin for Babel

  •    Javascript

Issues with the output should be reported on the Babel issue tracker.See the Babel options, except for sourceMap and filename which is handled for you.

recast - JavaScript syntax tree transformer, nondestructive pretty-printer, and automatic source map generator

  •    Javascript

In less poetic terms, Recast exposes two essential interfaces, one for parsing JavaScript code (require("recast").parse) and the other for reprinting modified syntax trees (require("recast").print). See ast-types (especially the def/core.js) module for a thorough overview of the ast api.

grunt-babel - Grunt plugin for Babel

  •    Javascript

Issues with the output should be reported on the Babel issue tracker.See the Babel options, except for filename which is handled for you.




atomspace - The OpenCog hypergraph database, query system and rule engine

  •    C++

The OpenCog AtomSpace is a knowledge representation (KR) database and the associated query/reasoning engine to fetch and manipulate that data, and perform reasoning on it. Data is represented in the form of graphs, and more generally, as hypergraphs; thus the AtomSpace is a kind of graph database, the query engine is a general graph re-writing system, and the rule-engine is a generalized rule-driven inferencing system. The vertices and edges of a graph, known as "Atoms", are used to represent not only "data", but also "procedures"; thus, many graphs are executable programs as well as data structures. The AtomSpace is a platform for building Artificial General Intelligence (AGI) systems. It provides the central knowledge representation component for OpenCog. As such, it is a fairly mature component, on which a lot of other systems are built, and which depend on it for stable, correct operation in a day-to-day production environment.

regexpu - A source code transpiler that enables the use of ES2015 Unicode regular expressions in ES5

  •    Javascript

regexpu is a source code transpiler that enables the use of ES2015 Unicode regular expressions in JavaScript-of-today (ES5). It rewrites regular expressions that make use of the ES2015 u flag into equivalent ES5-compatible regular expressions.Here’s an online demo.

regexpu-core - regexpu’s core functionality, i

  •    Javascript

regexpu is a source code transpiler that enables the use of ES6 Unicode regular expressions in JavaScript-of-today (ES5).regexpu-core contains regexpu’s core functionality, i.e. rewritePattern(pattern, flag), which enables rewriting regular expressions that make use of the ES6 u flag into equivalent ES5-compatible regular expression patterns.


grunt-regenerator - Transpile ES2015 generator functions to ES5

  •    Javascript

Issues with the output should be reported on the Regenerator issue tracker.A small runtime library (less than 1KB compressed) is required to provide the wrapGenerator function. You can install it either as a CommonJS module or as a standalone .js file, whichever you prefer.

gulp-esnext - Transform next-generation JavaScript to today's JavaScript

  •    Javascript

Issues with the output should be reported on the esnext issue tracker.Options are passed through to esnext.

gulp-regenerator - Transpile ES2015 generator functions to ES5

  •    Javascript

Issues with the output should be reported on the Regenerator issue tracker.A small runtime library (less than 1KB compressed) is required to provide the wrapGenerator function. You can install it either as a CommonJS module or as a standalone .js file, whichever you prefer.

es7-async-await - Transformer that converts async functions and await expressions into ECMAScript 6 generator functions and yield expressions

  •    Javascript

Transformer that converts async functions and await expressions into ECMAScript 6 generator functions and yield expressions. Note that this transform is only really useful if you know you're targeting a platform that supports generator functions natively. Otherwise, you're better off using Regenerator, since it has the ability to transform async functions into ES5 without creating immediately-invoked GeneratorFunctions.

unwinder - An implementation of continuations in JavaScript

  •    Javascript

An implementation of continuations in JavaScript. Includes built-in support for breakpoints (implemented with continuations) and setting breakpoints on running scripts. See this post for a deeper explanation and interactive tutorials.

zipperposition - An automatic theorem prover in OCaml for typed logic with equality, datatypes and arithmetic, based on superposition+rewriting; supporting libraries for manipulating terms, formulas, clauses, etc

  •    OCaml

Automated theorem prover for first-order logic with equality and theories. Logic toolkit (logtk), designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.

gladius-forge - Prebuilt Gulp build system for ES6 web apps

  •    Javascript

Prebuilt Gulp environment for cutting edge web app boilerplates. It comes with an ES2015+ (ES2016 async/await are there) to ES3-ish (as IE8 compatible as possible, but you may have to import polyfills, shims and shams accordingly) compilation process, together with a Browserify bundling and Uglifyjs compression.

rephrase - Rewrite rules for JavaScript.

  •    Javascript

Rewrite rules for JavaScript. The above means whenever we see an expression that looks like a.map(f).map(g) (where a, f and g are "holes"), then we can replace that expression with a.map(function(a) { return f(g(a)); }) (with a, f and g filled in with what occured in the first expression).

acl2 - ACL2 System and Books as Maintained by the Community

  •    Common

WARNING: On rare occasions development versions of ACL2 may be incomplete, fragile, or unable to pass the usual regression tests. You may choose to download an official ACL2 release as described on the ACL2 Home Page or below in this README. The ACL2 theorem proving environment consists of two parts: The ACL2 System and The ACL2 Books. This repository contains both.





We have large collection of open source products. Follow the tags from Tag Cloud >>


Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.