Styla - Styla is lightweight Scala-based Prolog interpreter based on a pure object oriented term hierarchy. A fairly complete and fast Prolog interpreter written is Scala, using Paul Tarau's Java-based Kernel Prolog as starting point (also available as an open source project at ).
The name "Styla", besides being a rhyme to Scala :-) stands tentatively for "Scala Terms Yield Logic Agents" (a future development target), but hints toward the fact that style (seen as elegance and simplicity of implementation) has been a major design principle behind it. Among the features not found in most Prologs, first class Logic Engines - and a generic view of everything as Fluents (TermSinks and TermSources) that abstract away iteration over various data types, including answers produced by Logic Engines.
Subtle Programming Language. Squirrel - The Programming Language. Speechlang.org. Solid: the language for smart web development. Slim - A Fast, Lightweight Template Engine for Ruby. Sketch-lang.org. Home · bendmorris/scotch Wiki. The Salmon Programming Language Home. S-Lang Library Information Page. Solfix. Scriptster - Home. Shiny. SNOBOL4.ORG: SNOBOL4 Resources. The Salmon Programming Language Home. Squirrel - The Programming Language. StreamIt. Suneido. Seed7 Homepage. SC. Slime Programming Language - Browse Files. Supernova Programming Language. Sappeur Compiler. Scato - Programming language. Designed to plot fractals (IFS), L-systems, and other self-similar curves, and not just their.
Scato (Scalable Tortoise) is a programming language to drive the tortoise, that can draw lines with different width and colors.
Scato is designed to plot iterated function system (IFS), L-systems, Penrose tile, and similar kinds of fractal objects. It's arm to make easy to scale and rotate parts of plots, produce loops and recursions, and create pretty self-similar colored curves. Moreover, Scato is environment. You can execute your programs, debug them, view results and export pictures in PostScript format. Also Scato equipped with helpful build-in examples and demos.
It's make Scato very easy to learn. Scato -- это черепаший язык программирования. Кроме того, Scato -- это ещё и среда исполнения программ. SPL. Snowball. Stackr Programming Language. Slanx 2.0: C#/XML-based programming language. Spec# Scriptster.
Francisco Rosales, home page. The Computer Programming Language For Kids! SheerPower 4GL Home Page. Guy T. Rice At Large. After a long period of neglect, I'm finally getting around to turning this into a presentable webpage. Over the next few days, I'll be adding the projects that were previously available here plus a few more... By reading this webpage, you hereby agree to the terms and conditions of our Standard Disclaimer . Sigil Sigil is an interpretted, object-oriented programming language. It features a LISP-like syntax, a Self-like object model, garbage collection, exceptions, continuations, lexical scoping, optional parameter type checking, optional lazy evaluation, among other things. Sigil 0.2 source : Available under the terms of the GNU General Public License . Sigil Language Reference Manual : This is included in the above archive, but also here so you can view it without having to first download and unpack the archive above.
Docgen.sigil : The language reference is automatically generated from comments in the source code. If you're looking for my old Apple II software, look here . Four In Line. My Software Projects. Suneido. The programming language squirrel. The Slate Programming Language. Sirius Programming Language. S-Lang Library Information Page. Home] Cat's Eye Technologies: /projects/smith/ SISC - Second Interpreter of Scheme Code.
Douglas Jones's cross-development support tool index. Machine Independant SMAL The machine independant SMAL assembler and linker supports conditional and macro assembly and all linkage editing operations commonly associated with languages such as FORTRAN and C. It comes with a user's manual that also explains how to customize it to support a variety of machine instruction sets. There are three versions, two written in fairly portable Pascal and one in C. Note that these are old software and have survived many portings to different machines: The 16 bit version; Pascal code and user's manual (plain text format). Machine Specific versions of SMAL Various people have customized versions of SMAL for specific machines.
Simple pseudo assemble. SPARCL Home, 03-05-28. CSNOBOL4. Free Development software downloads at SourceForge. SPARK. The SR Programming Language. STOICAL - STack Oriented Interactive Compiler Adapted to Linux. Sather home page. Sather is an object oriented language designed to be simple, efficient, safe, flexible and non-proprietary. One way of placing it in the "space of languages" is to say that it aims to be as efficient as C, C++, or Fortran, as elegant as and safer than Eiffel, and support higher-order functions and iteration abstraction as well as Common Lisp, CLU or Scheme. Note: Sather has now been converted to the GPL/LGPL licence. This last release from ICSI is available here . It is essentially a re-release of 1.2 beta, for the purpose of changing the licence. Continuing development of Sather may be found at the GNU site. If you use Sather or find it of interest, send us a postcard! Www.ftgsoftware.com/manuals/basic32.pdf. Sesame Database Manager.
The Scriptol programming language and development tools. ScriptBasic the ultimate scripting tool. Imagine, program, share. SCAR Divi - Shite Compared to AutoRune by Kaitnieks and Freddy1990. SABLE - Introducing Sable. SABLE is a general-purpose programming language derived from Smalltalk which runs on Microsoft® .NET and Mono1 (i.e. on the ECMA CLR). SABLE is the CLR's athletic body with Smalltalk's poetic spirit, a powerful combination of the best of both. SABLE brings the many benefits of the Smalltalk language and environments to the native CLR platform, to be a beneficial alternative to those languages based on C and BASIC. The major features of SABLE include: an elegant Smalltalk-derived syntax, for readability and simplicity, strong typing, for correctness/validation, code completion, and fast execution, bidirectional type inference, to drastically reduce type redundancy, method-defined operators and control structures, so you can add new ones, inlined functions, called "macros", which can make existing non-SABLE libraries easier to use, class extensions, for adding to existing classes new operations (e.g.
Squeakland. SiMPLE. STELLA Programming Language. Motivation Developers of intelligent applications face a problem today, since none of the currently ``healthy'' languages such as C++ or Java provide adequate environments to support symbolic programming tasks.
While Common-Lisp would probably still be the best language choice for many of these tasks, its dwindling vendor support and user base make it more and more difficult to justify its use. When we embarked on the task of developing PowerLoom® which had to be delivered in C++, we were faced with exactly this problem. Project Summary - Spark. SMX: Server Macro Expansion. Altran Praxis : Technology : SPARK. Spider Compiler. Sim# - A Simula compiler for .Net. Cat's Eye Technologies: The Sally Programming Language. Shen Doc. Shen and Qi Shen is directly derived from Qi.
Qi is a hypermodern functional language that offers many features not currently available under other functional platforms. For an introduction to Qi see www.lambdassociates.org. Qi was written solely to run under Common Lisp. The motive for Shen came from the observation that the implementation of Qi used only 15% of the system functions described in Common Lisp: the Language. The Shen mission is to develop an ultra-portable version of Qi that can run under a wide variety of platforms and which incorporates missing features in Qi such as streams.
Kl The means of achieving this involves developing a small fast Lisp called Kl which is rich enough to encode Qi, but small enough to be easily mapped into other platforms or implemented as a standalone. In terms of design, Kl reflects the following design criteria. 1. The SML.NET compiler. SML.NET is a compiler for the functional programming language Standard ML that targets the .NET Common Language Runtime and which supports language interoperability features for easy access to .NET libraries. This web site was last updated on 02-June-06. Download SML.NET is available for download in either binary or source form. IronSapphire. IronSmalltalk. Spec# Spec# is a formal language for API contracts (influenced by JML, AsmL, and Eiffel), which extends C# with constructs for non-null types, preconditions, postconditions, and object invariants.
Spec# comes with a sound programming methodology that permits specification and reasoning about object invariants even in the presence of callbacks and multi-threading. Spec# is a research vehicle that has been used to explore specifications and the dynamic/static tools that make use of them. Styla - Styla is lightweight Scala-based Prolog interpreter based on a pure object oriented term hierarchy. A fairly complete and fast Prolog interpreter written is Scala, using Paul Tarau's Java-based Kernel Prolog as starting point (also available as an open source project at ).
The name "Styla", besides being a rhyme to Scala :-) stands tentatively for "Scala Terms Yield Logic Agents" (a future development target), but hints toward the fact that style (seen as elegance and simplicity of implementation) has been a major design principle behind it. Among the features not found in most Prologs, first class Logic Engines - and a generic view of everything as Fluents (TermSinks and TermSources) that abstract away iteration over various data types, including answers produced by Logic Engines. Here are some limitations, most things not on this list and expected from a Prolog system should work. The Scriptol programming language and the open source project.
Free Development software downloads. Seed7 Homepage. SWRTJ: Sugared Welterweight Record-Trait Java. Sirver. Subtext home. TinyScheme Home. Sage: Open Source Mathematics Software. S: a Scripting Language for High-Performance RESTful Web Services. Shift. Shift is a programming language for describing dynamic networks of hybrid automata.
Such systems consist of components which can be created, interconnected and destroyed as the system evolves. Components exhibit hybrid behavior, consisting of continuous-time phases separated by discrete-event transitions. Components may evolve independently, or they may interact through their inputs, outputs and exported events. The interaction network itself may evolve. We believe that the Shift model offers the proper level of abstraction for describing complex applications such as automated highway systems, air traffic control systems, robotic shopfloors, coordinated submarines and other systems whose operation cannot be captured easily by conventional models. Soar. Soar News and Announcements We are pleased to announce the 34th Soar Workshop!
It will be held the week of June 16th, 2014 at the University of Michigan in Ann Arbor. There is no charge to attend the workshop, although registration is required. For more detailed information, please visit the the workshop home page linked above, which will have the most up-to-date information.New Soar publication: Kirk, J. and Laird J.
E. 2013: Learning Task Formulations through Situated Interactive Instruction, ProceProceedings of the 2nd Conference on Advances in Cognitive Systems. S-Lang Library Information Page. S-Lang is a multi-platform programmer's library designed to allow a developer to create robust multi-platform software.
It provides facilities required by interactive applications such as display/screen management, keyboard input, keymaps, and so on. The most exciting feature of the library is the slang interpreter that may be easily embedded into a program to make it extensible. While the emphasis has always been on the embedded nature of the interpreter, it may also be used in a stand-alone fashion through the use of slsh, which is part of the S-Lang distribution. Unlike many interpreters, the S-Lang interpreter supports all of the native C integer types (signed and unsigned versions of char, short, int, long, and long long), and both single and double precision types, as well as a double precision complex type. Other data types supported by the interpreter include strings, lists, associative arrays (hashes), user-defined structures, and multi-dimensional arrays of any data-type. Stackling - RPN for Mac OS X. Stackling is an advanced scriptable RPN calculator for Mac OS X. It features the GNU Kawa Scheme interpreter which allows users to build custom functionality by way of short Scheme programs, or scripts.
Stackling is licensed under the GNU General Public License, a copy of which is included with both the source and binary distributions. Screenshots, Anyone? User's perspective - full screen of Stackling with its help file Developer's perspective - full screen of Stackling and the Script Library Editor Current Version: 0.9 Current Version Release Notes: Stackling requires Mac OS X 10.0, but 10.1 is highly recommended.
The current version of Stackling is 0.9. The following are the remaining issues with Stackling: There is a random crashing bug I haven't tracked down yet, but it may have dissapeared anyway. Downloading Stackling. Scriptbasic. Superx++ Compiler and Runtime 1.1. Stackr Programming Language - Home. Scotch-lang - The Scotch programming language. Simple-interpreter - Interpreter for the Simple programming language. Scratchtab - A block programming language for Tablets. Silver - Minnesota Extensible Language Tools. The Scala Programming Language. Scriptella. Sysel – HelenOS. The Slate Programming Language.
Home — Shen.