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.
アセンブリ言語ã®ã¿ã§è¨€èªžå‡¦ç†ç³»ã‚’作ã£ãŸè©± // Speaker Deck
第11回 カーãƒãƒ«/VM 探検隊
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
Last year, qtxie worked on a toy text backend project and submitted a PR for that. After some extra additions and testing recently, it has now been merged even if it is still incomplete, it is usable enough. So, in addition to the shiny GUI backends in Red/View, now we have an old-school text-based user interfaces (TUI) backend for the View engine! The new TUI backend has currently a subset of the
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
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 referen
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
http://ark-lang.org/
slides.md
GitHub - LuxLang/lux: The Lux Programming Language
WebHome < Helium < UUCS
{{#tags}}- {{label}}
{{/tags}}