| Projects on Google Code | Results 1 - 10 of 257 |
==Introduction==
ScalaLogic is a light-weight Prolog interpreter written in Scala.
It can parse and execute Prolog code or it can write logic programs in a Prolog-like DSL language inside Scala. Emphasis is on simplicity, not performance. Most standard library predicates are not supported but...
A swarm will be programmed in Scala using the actor library.
The swarm simulation will consist of agents that can create their own internal map of their environment. The swarm will explore their environment and generate a topological map inside of a distributed file system. The topological map do...
*House Of Mirrors* (HoM) is a logic game inspired by [http://silverspaceship.com/chromatron/ Chromatron] (from Silver !SpaceShip Software).
The game consists of a 2D grid in which several types of objects are found, including detectors and mirrors. The goal is to light up all the detectors using ...
A variation of scaladoc : an API generator for project written in [http://scala-lang.org/ Scala]. You take a look at the api of vscaladoc it is generated with vscaladoc. Explore the demo package to see some example of the features.
Last released version : *1.1*
working version : *1.2* (http://g...
==What is Wiggle?==
Wiggle is a game development library/framework for Scala that uses LWJGL and hence OpenGL and OpenAL for visualization and noise making.
It aspires to contain the following components (and probably more as I undertake ever more sophisticated experiments):
* resource lo...
Scardf is an API in [http://www.scala-lang.org/ Scala] providing a [http://en.wikipedia.org/wiki/Domain-specific_language DSL] for writing, traversing and querying [http://www.w3.org/RDF/ RDF] graphs. Implemented as a façade to [http://jena.sourceforge.net/ Jena], an RDF programming framework for Ja...
This scala project is a general framework for applied proof theory.
* 24/11/2009 - Milestone 1 was reached:
# Language support for Typed Lambda Calculus, Higher and First order logics.
# Language Algorithms - Beta reduction, substitution and replacement.
# Sequent Calculus.
...
scala,
prooftheory,
theoremprover,
logic,
cutelimination,
sequentcalculus,
firstorderlogic,
higherorderlogic,
typetheory,
clausalcalculus,
mathematics
A simple rules engine built in Scala in the spirit of drools. Includes a fairly simple implementation of the [http://en.wikipedia.org/wiki/Rete_algorithm rete algorithm] which, if not industrial strength, is suitable for educational purposes.
A personal project for learning the Scala language.
...
#summary A Small Positive Supercompiler in Scala
A [http://sites.google.com/site/keldyshscp/Home/supercompilerconcept supercompiler] is a program transformer that traces the possible generalized histories of computation by the source program, and builds an equivalent target program, whose structu...
== Overview ==
Kiama is a [http://www.scala-lang.org Scala] library for language processing. It enables convenient analysis and transformation of structured data. The programming styles supported by the library are based on well-known formal language processing paradigms, including attribute gram...