The Katana Programming Language
10 days ago by al3x
"combine JavaScript’s semantics with C’s performance and predictability"
c
javascript
language
programming
10 days ago by al3x
Squirrel - The Programming Language
10 days ago by al3x
a high level imperative, object-oriented programming language, designed to be a light-weight scripting language that fits in the size, memory bandwidth, and real-time requirements of applications like video games
c
language
programming
dynamic
10 days ago by al3x
Blitzprog (bp)
12 days ago by al3x
"automatically tries to parallelize some parts of your program and if the compiler thinks it's worth doing so it will replace the sequential code with a multithreaded one"
language
parallel
dataflow
from readability
12 days ago by al3x
circa - Introduction
5 weeks ago by al3x
"a language designed for live coding
language
programming
visual
state
5 weeks ago by al3x
The Programming Languages Beacon
6 weeks ago by al3x
"a list of major software products or utilities, with details about the programming languages used to implement them"
programming
reference
language
list
6 weeks ago by al3x
Evlan
8 weeks ago by al3x
"a programming language and a virtual machine, similar to Java/JVM or C#/.NET, but with many advantages. While Java and C# are essentially small extensions to the 35-year-old C/C++ software paradigm, Evlan makes a point of being very different. Evlan attempts to take many of the cutting-edge ideas in the programming language world today and combine them into one unified system"
programming
language
functional
capabilities
8 weeks ago by al3x
Quirrel
12 weeks ago by al3x
"a purely declarative query language designed for performing analytics and statistics on large-scale, multi-structured data sets"
language
analytics
statistics
bigdata
query
declarative
12 weeks ago by al3x
Idris
january 2012 by al3x
"a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML"
functional
programming
language
dependent
from instapaper
january 2012 by al3x
Julia
january 2012 by al3x
"a high-level, high-performance dynamic language for technical computing, with syntax that is familiar to users of other technical computing environments. It provides a sophisticated compiler, distributed parallel execution, numerical accuracy, and an extensive mathematical function library"
language
programming
llvm
math
fortran
january 2012 by al3x
Plof
january 2012 by al3x
"an extremely flexible programming language, and an experiment in pushing this flexibility to its logical extreme"
language
prototype
programming
january 2012 by al3x
The Ciao System
january 2012 by al3x
"a general-purpose programming language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main design objectives are high expressive power, extensibility, safety, reliability, and efficient execution."
programming
language
logic
constraint
prolog
from instapaper
january 2012 by al3x
The Icon Programming Language
december 2011 by al3x
"a high-level, general-purpose programming language with a large repertoire of features for processing data structures and character strings. Icon is an imperative, procedural language with a syntax reminiscent of C and Pascal, but with semantics at a much higher level."
language
programming
imperative
procedural
from instapaper
december 2011 by al3x
Elm
december 2011 by al3x
"a type-safe functional language that compiles to HTML, CSS, and JavaScript"
language
functional
html
css
javascript
december 2011 by al3x
Bloom Programming Language
november 2011 by al3x
a programming language for the cloud and other distributed computing systems
language
distributed
berkeley
november 2011 by al3x
ConceptScript 101
october 2011 by al3x
"makes machines write high quality test data, filled with stuff humans forget"
language
testing
from instapaper
october 2011 by al3x
Shen
october 2011 by al3x
"a portable functional programming language that offers the advantages of pattern matching, l calculus consistency, macros, optional lazy evaluation and static type checking. Shen has the most powerful type system of any existing functional language, including ML and Haskell. Shen includes an integrated fully functional Prolog and an inbuilt compiler-compiler"
language
functional
macro
lazy
static
pattern
october 2011 by al3x
maru - A metacircular s-expression evaluator and compiler
october 2011 by al3x
"a symbolic expression evaluator that can compile its own implementation language"
programming
language
sexp
october 2011 by al3x
Thorn
september 2011 by al3x
"a dynamically-typed concurrent language in which lightweight isolated processes communicate by message passing. Thorn includes powerful aggregate data types, a class-based object system, first-class functions, an expressive module system, and a variety of features supporting the gradual evolution of prototype scripts into robust programs."
programming
dynamic
language
jvm
september 2011 by al3x
Frege
september 2011 by al3x
"a non-strict, pure functional programming language in the spirit of Haskell"
haskell
jvm
functional
language
from instapaper
september 2011 by al3x
Programming Languages Reference Sheets - Hyperpolyglot
august 2011 by al3x
"syntax for common tasks in a side-by-side format"
language
programming
reference
from instapaper
august 2011 by al3x
visionmedia/luna - GitHub
july 2011 by al3x
an expressive, minimalistic, elegant programming language implemented in ANSI C. With cooperative thread concurrency at it's core, async I/O, and influences derived from languages such as Lua, io, Python, and Ruby
language
javascript
lua
io
vm
opensource
july 2011 by al3x
Bandicoot
july 2011 by al3x
a programming system with a new set-based programming language, persistency capabilities, and run-time environment. The language is similar to general purpose programming languages where you write functions/methods and access data through variables.
language
programming
data
set
july 2011 by al3x
altJS
may 2011 by al3x
"a place to keep up with what's new in altJS, and to connect with other practitioners"
javascript
language
programming
compiler
list
translation
may 2011 by al3x
Faust
april 2011 by al3x
"a compiled language for real-time audio signal processing"
audio
programming
dsp
language
april 2011 by al3x
Redline Smalltalk
april 2011 by al3x
"Smalltalk for the Java Virtual Machine"
jvm
opensource
smalltalk
language
april 2011 by al3x
elixir
march 2011 by al3x
"a programming language built on top of Erlang. [...] The main difference between Elixir and Erlang is syntax and object orientation. Elixir provides a very simple Object Model based on prototype languages with most of its syntax based on Ruby."
erlang
ruby
github
opensource
language
march 2011 by al3x
The Eero Programming Language
march 2011 by al3x
"A syntactically streamlined dialect of Objective-C using Clang/LLVM"
language
objective-c
clang
llvm
march 2011 by al3x
Move
march 2011 by al3x
"a modern and simple programming language which can run on virtually any computer. Move is primarily aimed toward people not previously familiar with programming computers."
language
javascript
dynamic
from instapaper
march 2011 by al3x
SDF: Modular Syntax Definition Formalism
january 2011 by al3x
"allows a concise and natural expression of the syntax of a context-free language"
programming
language
syntax
formalism
grammar
context-free
from instapaper
january 2011 by al3x
GOO
january 2011 by al3x
"a new type-based prefix syntaxed language that is simple, powerful and extensible"
language
oop
from instapaper
january 2011 by al3x
Qi
october 2010 by al3x
"an award-winning functional programming language that offers the best of Common Lisp with the advantages of pattern matching, l calculus consistency, and optional static type checking. It uses sequent calculus notation to define types, and has the most powerful type system of any existing functional language, including ML and Haskell."
functional
lisp
opensource
programming
language
october 2010 by al3x
Choosing a VM for a concurrent language | Lambda the Ultimate
september 2010 by al3x
Interesting thread.
language
concurrency
vm
september 2010 by al3x
Chapel Programming Language
august 2010 by al3x
"an emerging parallel programming language whose design and development is being led by Cray Inc. Chapel is being developed as an open-source effort with contributions from academia, industry, and scientific computing centers"
language
parallel
programming
from instapaper
august 2010 by al3x
Clay Programming Language
july 2010 by al3x
"a language designed for generic programming"
language
programming
c
systems
july 2010 by al3x
Programming Language for Old Timers
may 2010 by al3x
"emphasizes cleanliness, flexibility, and extensibility [...] sports a more conventional-looking syntax than classic Lisp"
lisp
programming
language
history
may 2010 by al3x
Frink
april 2010 by al3x
"a practical calculating tool and programming language designed to make physical calculations simple"
programming
language
calculation
units
april 2010 by al3x
shannon
march 2010 by al3x
"a new general purpose stream-oriented programming language"
programming
language
stream
minimal
march 2010 by al3x
Piet (programming language)
march 2010 by al3x
"an esoteric programming language whose programs are bitmaps that look like abstract art"
programming
language
art
bitmap
graphical
march 2010 by al3x
Pegasus Project
february 2010 by al3x
"the first profound and usable natural language programming system"
programming
language
naturalistic
humane
february 2010 by al3x
π Programming Language
february 2010 by al3x
"There is only one language construct in π: the pattern"
language
programming
pattern
naturalistic
february 2010 by al3x
Objective Modula-2
february 2010 by al3x
a reflective, object oriented programming language with dynamic message dispatch (late binding) and both static and dynamic typing ... uses the runtime library of Objective-C to support the Cocoa and GNUstep APIs natively
modula
language
objective-c
cocoa
dynamic
smalltalk
february 2010 by al3x
CoffeeScript
february 2010 by al3x
a little language that compiles into JavaScript
javascript
compiler
language
february 2010 by al3x
Progopedia
november 2009 by al3x
web-based encyclopedia of programming languages
programming
language
wiki
november 2009 by al3x
The Present of D
november 2009 by al3x
Yikes. D sounds interesting, but this is pretty unappealing stuff.
d
language
criticism
programming
november 2009 by al3x
Langref
october 2009 by al3x
"a repository of some standard programming situations you might encounter and their solutions in a variety of languages"
programming
language
reference
social
october 2009 by al3x
Lucid (programming language) - Wikipedia, the free encyclopedia
october 2009 by al3x
a dataflow programming language
language
programming
dataflow
october 2009 by al3x
Zimbu
october 2009 by al3x
an experimental programming language. It is a very practical, no-nonsense kind of language. It mixes the good things of many existing languages and avoids their deficiencies. And then throws in a few brand new ideas.
language
programming
vim
october 2009 by al3x
disclojure
september 2009 by al3x
An aggregated feed of Clojure news.
clojure
jvm
language
blog
twitter
september 2009 by al3x
Sleep Java Scripting Language
september 2009 by al3x
"a multi-paradigm scripting language for the Java Platform"
jvm
language
programming
scripting
september 2009 by al3x
Noop
september 2009 by al3x
"a new language that attempts to blend the best lessons of languages old and new, while syntactically encouraging industry best-practices and discouraging the worst offenses"
language
jvm
testing
dependencyinjection
oop
september 2009 by al3x
Lope Programming Language
september 2009 by al3x
"a general-purpose programming language, with a particular emphasis on mobile and distributed systems. It is loosely based on the Bigraphs formalism, and owes an ideological debt to the Bigraphical Programming Languages project."
programming
language
mobile
distributed
bigraph
september 2009 by al3x
Adventures in Programming Languages and Semantics
september 2009 by al3x
"Why programming language design is hard (and a few ways it can be made easier)"
programming
language
design
tip
list
september 2009 by al3x
Pharo Open Source Smalltalk
august 2009 by al3x
"a clean, innovative, open-source Smalltalk environment"
smalltalk
opensource
language
programming
august 2009 by al3x
Fledgling Languages List
august 2009 by al3x
"provides a list of programming languages which are just starting out in the world"
language
programming
list
emerging
august 2009 by al3x
JKat - A Concatenative Language on the Java Virtual Machine
august 2009 by al3x
"a dynamically typed, stack-based (concatenative) language similar to Forth and its relatives"
jvm
language
forth
concatenative
august 2009 by al3x
Web Home (Events/PLATEAU) | ECS | Victoria University of Wellington
july 2009 by al3x
"We plan to gather the intersection of researchers in the programming language, programming tool, and human-computer interaction communities to share their research and discuss the future of evaluation and usability of programming languages and tools."
conference
language
usability
hci
july 2009 by al3x
Concatenative Languages Wiki
july 2009 by al3x
"to collect information about the family of concatenative languages"
language
concatenative
programming
wiki
july 2009 by al3x
related tags
academic ⊕ acronym ⊕ actor ⊕ ada ⊕ al3x ⊕ analytics ⊕ archive ⊕ art ⊕ article ⊕ audio ⊕ berkeley ⊕ bigdata ⊕ bigraph ⊕ bitmap ⊕ blog ⊕ book ⊕ c ⊕ calculation ⊕ capabilities ⊕ clang ⊕ clojure ⊕ clos ⊕ clr ⊕ cobra ⊕ cocoa ⊕ code ⊕ coffeescript ⊕ comparison ⊕ compiler ⊕ compsci ⊕ concatenative ⊕ concurrency ⊕ conference ⊕ constraint ⊕ context-free ⊕ contracts ⊕ criticism ⊕ cryptography ⊕ css ⊕ culture ⊕ d ⊕ data ⊕ dataflow ⊕ deanwampler ⊕ declarative ⊕ dependencyinjection ⊕ dependent ⊕ design ⊕ directory ⊕ distributed ⊕ dsl ⊕ dsp ⊕ dylan ⊕ dynamic ⊕ e ⊕ education ⊕ emerging ⊕ enquiry ⊕ erlang ⊕ esoteric ⊕ event ⊕ firefly ⊕ formalism ⊕ forth ⊕ fortran ⊕ functional ⊕ game ⊕ github ⊕ gnome ⊕ go ⊕ golang ⊕ grammar ⊕ graphical ⊕ gtk ⊕ guardian ⊕ hadoop ⊕ haml ⊕ haskell ⊕ hci ⊕ history ⊕ hopl ⊕ html ⊕ humane ⊕ humor ⊕ i18n ⊕ ide ⊕ imperative ⊕ implementation ⊕ infosec ⊕ inspiration ⊕ interpreter ⊕ interview ⊕ io ⊕ java ⊕ javascript ⊕ jit ⊕ json ⊕ jvm ⊕ language ⊖ lazy ⊕ lil ⊕ linguistics ⊕ lisp ⊕ list ⊕ llvm ⊕ logic ⊕ lua ⊕ macro ⊕ markup ⊕ math ⊕ metaprogramming ⊕ microsoft ⊕ minimal ⊕ mit ⊕ ml ⊕ mobile ⊕ modula ⊕ mono ⊕ naturalistic ⊕ network ⊕ notes ⊕ nu ⊕ objective-c ⊕ ocaml ⊕ olpc ⊕ oop ⊕ opensource ⊕ oreilly ⊕ osx ⊕ paper ⊕ parallel ⊕ parser ⊕ parsing ⊕ pattern ⊕ pdf ⊕ perl ⊕ php ⊕ plugin ⊕ presentation ⊕ probability ⊕ procedural ⊕ programming ⊕ prolog ⊕ prototype ⊕ python ⊕ query ⊕ rails ⊕ reading ⊕ reference ⊕ reia ⊕ research ⊕ ruby ⊕ scala ⊕ scalability ⊕ scheme ⊕ scripting ⊕ security ⊕ self ⊕ sentiment ⊕ set ⊕ sexp ⊕ singleserving ⊕ slang ⊕ slides ⊕ smalltalk ⊕ social ⊕ state ⊕ static ⊕ statistics ⊕ stream ⊕ syntax ⊕ systems ⊕ testing ⊕ tip ⊕ tools ⊕ translation ⊕ tutorial ⊕ twitter ⊕ typing ⊕ uk ⊕ units ⊕ unix ⊕ ur ⊕ usability ⊕ vala ⊕ verification ⊕ via:eweaverp ⊕ video ⊕ vim ⊕ visual ⊕ visualization ⊕ vm ⊕ web ⊕ webapp ⊕ wiki ⊕Copy this bookmark: