Programming Languages Influence Network | Exploring Data
Loading the data may take a while, please be patient... Graph Navigation You can zoom in and out the graph with the mouse wheel. You can move the graph by clicking and holding the left mouse button and moving the mouse. Language Information When you click on a language node in the graph a modal window with information about the language will be displayed. Language Search Search for a language name
CakeML
About CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself. The CakeML project consists of the following components, all of which are free software. Language definition. The CakeML language is based on a substantial subset of Standard ML. Its formal semantics is specifi
duangle / None — Bitbucket
Atlassian SourceTree is a free Git and Mercurial client for Windows. Atlassian SourceTree is a free Git and Mercurial client for Mac. The Best Programming Language is None None (a backronym for None's Only Nested Expressions or None Obsoletes Nearly Everything) is a young, powerful, convenient and performant programming language designed for writing games and game engines. It is developed alongsid
How we turned JSON into a full programming language
UPDATE (October 9th, 2015):To avoid confusion with Relevant’s upcoming card-building platform, we have temporarily unlisted and stored away this article. If you wish to know more about card-building tools, sign up here. You can also tweet at me @wirchoreal or email me directly at adolfo@relevant.ai.
Snap! Build Your Own Blocks
Snap! is a broadly inviting programming language for kids and adults that's also a platform for serious study of computer science.
Piet - Wikipedia
push 値をスタックに詰め込む。 pop 値をスタックから取り出す。 add 値を2つスタックから取り出し、加算した結果をスタックに詰める。 subtract 値を2つスタックから取り出し、2番目の値から1番目の値を減算した結果をスタックに詰める。 multiply 値を2つスタックから取り出し、乗算した結果をスタックに詰める。 divide 値を2つスタックから取り出し、2番目の値を1番目の値で除算した結果をスタックに詰める。 mod 値を2つスタックから取り出し、2番目の値を1番目の値で除算した際の余りをスタックに詰める。 not スタックの一番上の値が0でなければ0に、0であれば1に変更する。 greater 値を2つスタックから取り出し、2番目の値が1番目の値より大きければ1、そうでなければ0をスタックに詰める。 pointer 値を1つスタックから取り出し、その値の回数だけDP
Manticore
The Manticore Project Manticore is a high-level parallel programming language aimed at general-purpose applications running on multi-core processors. Manticore supports parallelism at multiple levels: explicit concurrency and coarse-grain parallelism via CML-style constructs and fine-grain parallelism via various light-weight notations, such as parallel tuple expressions and NESL/Nepal-style paral
プログラミング言語 Mokkosu
プログラミング言語 Mokkosu Mokkosuは全くのゼロから設計・開発されたオープンソースのプログラミング言語です。 Mokkosuは.NET Framework上で動作する関数型プログラミング言語で、ゲームや ジェネラティブアートといったインタラクティブなプログラムの開発を得意とし ています。 類似の言語としてはMITメディアラボで開発されたProcessingがあります。 Processingが手続型言語であるのに対して、Mokkosuは関数型言語であるため、 Processingとは異なるスタイルでのプログラミングが可能です。これにより プログラムによってはProcessingより簡潔に記述できる可能性があります。 Mokkosuは単なるプログラミング言語にとどまらず、統合的な開発環境をユーザに 提供します。専用の統合開発環境が用意されており、シンタックスハイライト 機能の付い
Red Programming Language
Sometimes deep changes take a huge amount of code. Sometimes they take a lot of detailed explanation and consideration, leading to long discussions and people taking sides. Rarely does an important syntactic change to a language happen quickly, with universal agreement, simple implementation, and tools to help update scripts in the wild. Today is one of those rare days. Admittedly, this idea has b
Pixie Pi
Pixie is a Clojure-inspired lisp that has a quick startup time and nice FFI support that allows it to make use of existing C libraries, making it a nice option for working with the Raspberry Pi. Installing Pixie Meeting Dependencies From a base Raspbian install, Pixie’s dependencies (as of eb5886ff95) except for libuv-dev can be satisfied using aptitude sudo apt-get install libffi-dev libedit-dev
Ruby 3.0の未来へ―、言語設計者のまつもと氏が示す3つの方向性とRuby哲学 | HRナビ by リクルート
「Ruby 2が一般化した今、そろそろ新しいことを始めよう。これはRuby 3.0への扉を開く宣言です。未来へ備えよう。コミュニティとして死なないように、ワクワクする未来を妄想しよう。新しいことを始めよう」 こんな風に開発コミュニティに呼びかけたのは、世界的に人気の高いプログラミング言語「Ruby」（ルビー）の生みの親で言語設計者のまつもとゆきひろ氏だ。この「宣言」とも言える発言は、2014年9月に開催された「RubyKaigi 2014」で出てきたものだ。基調講演をしたまつもと氏は、講演の中で初めてRuby 3.0というメジャーバージョンへ言及して、次なるマイルストーンとして設定することを公の場で宣言した。 まつもと氏によれば、Rubyのコア開発者はこの何年かはRuby 2で忙しかったという。目の前にある現行バージョンのRuby 2をどうするかということや、機能の安定化、メモリ周辺の改善
Pony - Pony
Welcome! This is the website for the Pony programming language. Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language. Quick links What is Pony? Frequently asked questions Try it in your browser Example Pony applications Installation Get started learning Pony Tutorial Standard Library Documentation Getting help Existing user reference Comm
Eff Programming Language
Eff is a functional programming language based on algebraic effect handlers. This means that Eff provides handlers of not only exceptions, but of any computational effect, allowing you to redirect output, wrap state modifications in transactions, schedule asynchronous threads, and much much more… Try it out in your browser! or install it on your computer Algebraic effects, on which Eff is built, g
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
コミっくむｰび-
Céu - The Programming Language
アセンブリ言語のみで言語処理系を作った話 // Speaker Deck
codeline
slides.md
GitHub - LuxLang/lux: The Lux Programming Language
WebHome < Helium < UUCS