| Type |
Name |
Summary |
| Project |
counterclockwise
|
Counterclockwise is an Eclipse plugin helping developers write Clojure code
|
| Project |
yages
|
Yet another Game engine (in Scala)
|
| Project |
pci2scala
|
scala code examples for "Programming Collective Intelligence"
|
| Project |
gapt
|
Generic Architecture for Proofs
|
| Project |
cpedialog
|
blog implemented by python and can be hosted on google appengine
|
| Project |
clojure
|
The Clojure programming language
|
| Project |
hammurabi
|
The Scala Rule Engine
|
| Project |
pointfree
|
Pointless Haskell
|
| Project |
httplib2
|
A comprehensive HTTP client library in Python
|
| Project |
cofoja
|
Contracts for Java
|
| Project |
google-web-toolkit-incubator
|
The Official incubator of widgets and libraries for Google Web Toolkit
|
| Project |
facebook-actionscript-api
|
Adobe ActionScript 3 SDK for Facebook Platform
|
| Project |
soc
|
SoC (Spice of Creation)
|
| Project |
pistache
|
A pi-Calculus internal DSL for Scala
|
| Project |
funprog-ru
|
This project is about translating John Harrison's Introduction to Functional Programming course to Russian
|
| Project |
youtube-direct
|
YouTube Direct
|
| Project |
frege
|
Frege Programming Language
|
| Project |
tapl-haskell
|
Haskell ports of the OCaml implementations for "Types and Programming Languages" by Benjamin C. Pierce
|
| Project |
sqldf
|
SQL select on R data frames
|
| Project |
noop
|
A new object-oriented programming language focusing on maintainability
|
| Project |
orc
|
Programming language for distributed and concurrent computation.
|
| Project |
google-app-engine-samples
|
Samples for Google App Engine
|
| Project |
kiama
|
A Scala library for language processing
|
| Project |
etherpad
|
EtherPad Open Source Release
|
| Project |
guru-lang
|
Implementation of the Guru verified programming language.
|
| Project |
encog-java
|
Encog Artificial Intelligence Framework for Java
|
| Project |
scalgorithms
|
Algorithms and Data-Structures in Scala
|
| Project |
idot
|
iDot - Incremental Dot Viewer
|
| Project |
google-gin
|
GIN (GWT INjection) is Guice for Google Web Toolkit client-side code
|
| Project |
app-engine-patch
|
Use Django on App Engine - with lots of goodies
|
| Project |
aaa-comp527project
|
COMP 527 Project : Implementing a Dependently-Typed Lambda Calculus
|
| Project |
hol-light
|
HOL Light, an LCF-style interactive theorem prover for classical higher-order logic
|
| Project |
inv
|
HN/SPL - a better way to do your boring C++ job
|
| Project |
decac
|
A higher-level assembly language
|
| Project |
scalaz
|
Scalaz: Type Classes and Pure Functional Data Structures for Scala
|
| Project |
lambdaj
|
manipulate collections in a pseudo-functional and statically typed way
|