slate-language : The Slate programming language
author: briantrice
created: 2009-02-02 23:10:29
environment language lisp macros multimethods programming-language prototypes smalltalk c++


crow : A messaging language superset of Icon
author: taybin
created: 2009-03-03 03:21:42
actor-model icon programming-language emacs lisp


factor : Factor programming language - GitHub mirror of official GIT repo
author: factor
created: 2009-03-24 13:17:48
concatenative factor language programming-language stack


Coq-Equations : A function definition package for Coq
author: mattam82
created: 2009-10-27 16:20:28
coq dependent-types programming-language


Clojush : The Push programming language and the PushGP genetic programming system implemented in Clojure.
author: lspector
created: 2010-04-18 19:45:50
clojure genetic-programming interpreter programming-language pushgp stack-based


dmd : dmd D Programming Language compiler
author: dlang
created: 2011-01-15 06:53:53
compiler d dlang dmd fast language native programming-language


red : Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single 1MB file!
author: red
created: 2011-03-07 11:38:19
compiler gui interpreter language linker native programming-language reactive-programming rebol red


julia : The Julia Language: A fresh approach to technical computing.
author: JuliaLang
created: 2011-04-21 07:01:50
high-performance-computing julia julia-language machine-learning numerical-computation programming-language scientific-computing


kiwi : Kiwi programming language
author: tboronczyk
created: 2011-05-26 21:40:43
programming-language go


ispc : Intel SPMD Program Compiler
author: ispc
created: 2011-06-21 20:21:45
compiler intel ispc programming-language simd spmd c++


smart : moved to extbit/smart:
author: duzy
created: 2011-09-21 06:28:16
build-automation build-system build-tool functional-programming golang makefile programming-language smart go


lamdu : lamdu - towards the next generation IDE
author: lamdu
created: 2011-10-20 21:13:43
integrated-development-environment programmer-tool programming-language haskell


kitten : A statically typed concatenative systems programming language.
author: evincarofautumn
created: 2011-12-20 04:17:17
concatenative effects forth haskell language programming-language static-types


Tajada :
author: mgomezch
created: 2012-01-17 03:25:00
compiler programming-language university-project c++


kotlin : The Kotlin Programming Language
author: JetBrains
created: 2012-02-13 17:29:58
compiler gradle-plugin intellij-plugin kotlin kotlin-library maven-plugin programming-language


Potigol : Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners
author: potigol
created: 2012-02-14 22:30:00
beginner-friendly compiler functional-programming hacktoberfest hacktoberfest2018 language portugues portuguese potigol programming-language scala type-inference


WurstScript : Programming language that compiles to Jass (the language to create Warcraft III Maps).
author: wurstscript
created: 2012-02-29 18:00:46
jass java programming-language warcraft wurstlang wurstscript


MyDef : Programming in the next paradigm -- your way
author: hzhou
created: 2012-03-03 15:19:24
metaprogramming mydef paradigm perl programming-language refactor


Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
author: catseye
created: 2012-03-14 21:40:43
interpreter meta-circular programming-language haskell


programming-language : :books: Developing a proposal for a new functional, reactive, and logical programming language.
author: mraxilus
created: 2012-03-25 17:02:52
functional-reactive-programming programming-language proposal


supercollider : An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
author: supercollider
created: 2012-05-04 19:24:51
algorithmic-composition audio c-plus-plus computer-music electronic-music livecoding music programming-language sclang scsynth sound supercollider synthesis c++


Talk : A programming language with a curiously natural syntax.
author: gurry
created: 2012-05-30 13:20:21
function-invocation language programming-language python readability


Expresso : My original programming language that aims to be an educational one, which is influenced by Python, Swift, Rust and many others. This repository is obsolete.
author: hazama-yuinyan
created: 2012-06-30 12:57:22
clr dot-net expresso programming-language c#


llj : LLJ - Logic Language for JVM
author: rla
created: 2012-08-07 21:31:58
jvm logic-language programming-language prolog java


RESOLVE : RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
author: ClemsonRSRG
created: 2012-08-23 19:19:54
programming-language specification-language verification java


wyvern : The Wyvern programming language.
author: wyvernlang
created: 2012-09-11 15:17:20
programming-language java


lbForth : Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
author: larsbrinkhoff
created: 2012-09-18 11:45:37
6502 8051 arm asmjs avr compiler cortex-m forth interpreter linux m68k metacompiler msp430 pdp11 programming-language risc-v riscv self-hosted x86


furnace-xray : A visualizer for transformations of code in Static Single Assignment form based on the Furnace library.
author: evilmartians
created: 2012-09-24 17:16:07
programming-language visualizer coffeescript


cakeml : CakeML: A Verified Implementation of ML
author: CakeML
created: 2012-10-09 10:13:51
compiler formal-semantics formal-verification hol programming-language sml theorem-proving standard ml


LuaCSP : Communicating Sequential Processes in Lua
author: loyso
created: 2012-11-12 15:23:24
asynchronous-programming communicating-sequential-processes coroutines fsm fsms game-ai game-development game-logic game-script gamedev lua lua-bindings lua-library programming-language yield c


ponyc : :horse: Pony is an open-source, actor-model, capabilities-secure, high performance programming language
author: ponylang
created: 2012-11-13 07:38:25
actor-model pony-language pony-source ponyc programming-language c++


ferret : an evented, objective, hobby programming language with novel features; written in and compiled to Perl
author: cooper
created: 2012-12-08 19:18:22
compiler hobby interpreted-languages interpreter language perl programming-language


c2compiler : the c2 programming language
author: c2lang
created: 2013-01-12 20:40:47
c c2 compiler programming-language c++


Elymas : A programming language I can like. Unholy and full of magic.
author: Drahflow
created: 2013-01-14 19:49:03
jit programming-language stack-based perl


AI-Programmer : Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
author: primaryobjects
created: 2013-01-23 16:59:29
ai artificial-intelligence c-sharp fitness-score genetic-algorithm genetic-algorithms genetic-programming genome program-synthesis programming-language c#


egison : Egison is a purely functional programming language with non-linear pattern-matching against non-free data types. We can directly pattern-match against a wide range of data types such as lists, multisets, sets, trees and graphs with Egison.
author: egison
created: 2013-02-15 04:35:21
computer-algebra-system differential-geometry egison functional-programming pattern-matching programming-language tensor haskell


pilots : PILOTS (ProgrammIng Language for spatiO-Temporal data Streaming applications)
author: RPI-WCL
created: 2013-02-17 19:18:32
machine-learning programming-language stream-processing java


Hap : A simple concurrent programming language.
author: evincarofautumn
created: 2013-03-03 11:38:42
asynchronous-programming events hap programming-language c++


leola : Leola Programming Language
author: tonysparks
created: 2013-03-08 00:51:24
bytecode compiler embeddable interpreter java leola parser programming-language scripting-games scripting-language vm


while : Some dataflow analysis in Java
author: rla
created: 2013-03-15 16:34:03
java programming-language static-analysis


sidef : A modern object-oriented programming language implemented in Perl.
author: trizen
created: 2013-03-30 15:18:22
object-oriented perl programming-language sidef transpiler


jslogo : Logo in JavaScript
author: inexorabletash
created: 2013-04-29 02:37:17
logo programming-language javascript


repl-lang : The REPL Programming language
author: kenpusney
created: 2013-04-30 16:54:20
dsl lisp programming-language repl ruby


jsbasic : Applesoft BASIC in JavaScript
author: inexorabletash
created: 2013-05-07 02:57:23
basic programming-language javascript


haxe : Haxe - The Cross-Platform Toolkit
author: HaxeFoundation
created: 2013-05-25 09:20:11
compiler cross-platform haxe language macros programming-language transpiler


cparse : A expression parser in C++ that uses Dijkstra's Shunting-yard algorithm.
author: cparse
created: 2013-06-07 10:57:19
c-plus-plus calculator expression-parser programming-language c++


Ezhil-Lang : எழில் - ஒரு தமிழ் நிரலாக்க மொழி; தமிழ் மாணவர்களுக்கு இது முதல்முறை கணிப்பொறி நிரல் ஏழுத உதவும் (Ezhil, is a fun Tamil programming language for K-12).
author: Ezhil-Language-Foundation
created: 2013-06-08 14:38:24
ezhil-language programming-language python tamil roff


elvish : Friendly Interactive Shell and Expressive Programming Language
author: elves
created: 2013-06-16 08:43:32
go programming-language shell unix


rill : Statically typed system programming language for 文鳥
author: yutopp
created: 2013-06-16 14:17:56
programming-language ocaml


agora : a dynamically typed, garbage collected, embeddable programming language built with Go
author: mna
created: 2013-06-19 02:16:30
programming-language go


brainfuck : An optimizing Brainfuck compiler & interpreter
author: gokselgoktas
created: 2013-07-08 22:37:30
compiler interpreter language llvm programming-language source-to-source turing-completeness c


lean : Lean Theorem Prover
author: leanprover
created: 2013-07-17 00:42:34
dependent-types lean programming-language theorem-proving type-theory verification c++


labrys : A toy language based on LLVM that implements the System Fω type-system
author: kit-ty-kate
created: 2013-08-01 15:05:23
compiler language llvm ocaml programming-language type-system


rosalind : :traffic_light: Programming Solutions to Bioinformatic Rosalind Problems
author: erictleung
created: 2013-08-13 21:24:06
algorithm-challenges algorithms bioinformatics perl programming-language python rosalind


Eve : Better tools for thought
author: witheve
created: 2013-09-10 03:52:06
database eve ide language programming-language typescript


Julia.jl : Curated decibans of Julia programming language.
author: svaksha
created: 2013-09-25 04:35:03
agplv3 awesome-list awesome-lists collection computer-science julia julia-language julialang programming programming-language resources scientific-computing


ngs : Next Generation Shell (NGS)
author: ngs-lang
created: 2013-09-27 06:33:02
programming-language shell c


Sparkling : Lightweight extension language
author: H2CO3
created: 2013-10-05 18:35:20
c embeddable embedded-scripting-language embedded-scripting-languages programming-language scripting-language


elena-lang : ELENA is a dynamic object-oriented programming language. It features message dispatching, mixins and a script engine
author: ELENA-LANG
created: 2013-10-15 10:02:54
dynamic-programming elena-language mit-license mixins object-oriented programming-language c++


shmatmaton : A somewhat esoteric programming language with a stack, a heap, matrix and automaton.
author: lyriarte
created: 2013-11-25 09:27:26
automaton interpreter javascript matrix programming-language rpn


Miksilo : The fastest way to build a language
author: keyboardDrummer
created: 2013-11-26 22:48:46
language-workbench meta-language parsing programming-language scala


flufflepuff : Fluffle Puff Programming Language
author: juju2143
created: 2014-01-10 05:15:34
brainfuck flufflepuff language mylittlepony ponies pony programming-language lex


jisonify : A Browserify transform for Jison parsers.
author: schmich
created: 2014-01-14 14:29:57
browser browserify javascript jison language lexer parser programming-language


iolang : Io, the language, in Go, the language
author: zephyrtronium
created: 2014-02-15 08:15:37
language programming-language scripting-language go


my_basic : Lightweight BASIC interpreter written in standard C in dual files. Aimed to be embeddable, extendable and portable.
author: paladin-t
created: 2014-02-16 09:24:50
basic interpreter programming-language scripting-language c


battlestar : :dizzy: A different take on assembly, with the goal of creating tiny executables
author: xyproto
created: 2014-02-20 16:49:03
assembly dosbox gcc inline linux programming-language tiny go


influential-cs-books : Most influential books on Computer Science/programming
author: cs-books
created: 2014-02-21 12:25:03
books computer-science influential-books programming-language


devicon : Set of icons representing programming languages, designing & development tools
author: konpa
created: 2014-03-01 15:14:04
font icons programming-language svg css


redtamarin : AS3 running on the command line / server side
author: Corsaair
created: 2014-03-01 15:37:42
32-bit 64-bit actionscript actionscript3 as3 as3lang avm2 avmplus language linux mac macos programming-language redtamarin runtime sdk virtual-machine vm win windows


quine : Quine Museum
author: MakeNowJust
created: 2014-03-03 14:48:53
hacking language programming-language quine e


dg : A programming language for the CPython VM.
author: pyos
created: 2014-03-04 09:19:37
language programming-language python


Dachs : Dachs; A Doggy :dog: Programming Language
author: rhysd
created: 2014-03-18 09:06:15
compiler dog go inu language llvm programming-language c++


haskell-rascal : Learning haskell with a rascal!
author: hemanth
created: 2014-03-24 13:32:20
haskell programming-language


anko : Scriptable interpreter written in golang
author: mattn
created: 2014-03-28 07:29:40
go programming-language


segment : Most programmers, at some point, daydream about writing their own programming language. This one's mine.
author: smashwilson
created: 2014-04-02 21:36:56
c language programming-language segment


FStar : Verification system for effectful programs
author: FStarLang
created: 2014-04-03 17:32:49
c-language dependent-types f-sharp fstar ocaml programming-language proof-assistant smt theorem-proving verification f*


ProgLanguageClassifier : A Naive Bayes Classifier for classifying documents by programming language.
author: 383-Classifier
created: 2014-04-11 18:25:56
classification classifier classify-documents java naive-bayes naive-bayes-classifier programming-language


hefesto : A multi platform build system.
author: rafael-santiago
created: 2014-04-16 01:05:54
build-automation build-system build-tool c compiler-design interpreted-languages interpreters multi-platform programming-language


english-script : 🖊 Ｅｎｇｌｉｓｈ as a programming language
author: pannous
created: 2014-05-08 14:53:59
compiler programming-language ruby


arduivis : a bi-directional communication paradigm for programming languages & microcontrollers
author: cskonopka
created: 2014-05-20 23:01:50
automation javascript max maxmsp maxpat microcontroller programming-language puredata serial


PLASMA : Proto Language AsSeMbler for All (formerly Apple)
author: dschmenk
created: 2014-05-27 03:51:07
6502 apple2 programming-language retrocomputing assembly


Dyvil : The Dyvil programming language
author: Dyvil
created: 2014-05-28 13:15:14
dyvil dyvil-programming-language java jvm language programming-language


iOS-Swift-Demos : 精心收集并分类整理的Swift开发学习资源，包括Apple官方提供的示例代码和文档，以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。QQ交流群 32958950 申请请注明开发经验
author: Lax
created: 2014-06-03 07:15:28
apple-swift github-swift ios ios-swift ios-swift-demos programming-language swift swift-language swift-learning swift-library swift-programming swift-tutorial


llisp : A Lisp interpreter implemented in LLVM IR
author: spiralman
created: 2014-06-08 02:43:54
functional-programming lisp lisp-interpreter llvm programming-language


imba : The new programming language for web apps
author: imba
created: 2014-06-14 18:58:32
imba javascript programming-language


fslang-design : RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
author: fsharp
created: 2014-06-25 13:07:35
fsharp language-design programming-language rfc


Mond : A scripting language for .NET
author: Rohansi
created: 2014-07-13 17:53:10
c-sharp debugger language mond nuget programming-language scripting c#


MixT : Prototype Mixed-consistency transaction implementation
author: mpmilano
created: 2014-07-18 16:00:38
c-plus-plus distributed-systems domain-specific-language programming-language transactions c++


awesome-ocaml : A curated collection of awesome OCaml tools, frameworks, libraries and articles.
author: ocaml-community
created: 2014-07-24 12:57:22
awesome ocaml programming-language resources


autumn : Autumn is a new multi-paradigm, compiled, and statically-typed programming language for the JVM.
author: Mackenzie-High
created: 2014-07-30 18:39:00
autumn jvm programming-language java


neon-lang : Implementation of a simple programming language
author: ghewgill
created: 2014-08-08 19:59:17
neon programming-language c++


rho : The Rho programming language
author: arshajii
created: 2014-08-14 15:41:03
programming-language c


go : The Go programming language
author: golang
created: 2014-08-19 04:33:40
go language programming-language


goruby : GoRuby, an implementation of Ruby written in Go
author: goruby
created: 2014-08-19 15:51:28
go golang interpreter language programming-language ruby


libpicrin : Super Tiny Scheme Interpreter for Freestanding Environment
author: picrin-scheme
created: 2014-08-25 04:26:47
embedded gc programming-language scheme c


alda : A music programming language for musicians. :notes:
author: alda-lang
created: 2014-08-26 04:07:53
alda music music-composition music-programming-language programming-language clojure


ol : Otus Lisp (Ol in short) is a purely* functional dialect of Lisp.
author: yuriy-chumak
created: 2014-09-06 09:09:48
compiler interpreter language lisp ol otus-lisp programming-language r5rs r5rs-scheme r7rs r7rs-scheme repl scheme tiny virtual-machine


dollar : BASH like lightweight. reactive dynamic scripting language for the JVM - Apache 2.0 (liberal) license
author: sillelien
created: 2014-09-21 15:06:33
dollar dynamic-programming integration java jvm language programming-language reactive-programming script scripting scripting-language


helios : My hsl code base.
author: rafael-santiago
created: 2014-09-22 18:13:01
hefesto programming-language standard-library


Introduction-to-touchdesigner : Open source introductory manual for Derivative TouchDesigner 088
author: nVoid
created: 2014-09-26 17:19:23
creative-coding programming-language python shaders touchdesigner css


Cookies help us deliver our services. By using our services, you agree to our use of cookies Learn more