GitHub - maurymarkowitz/RetroBASIC: BASIC interpreter in lex/yacc/c
RetroBASIC is an interpreter for programs written using 1970s/80s variations of BASIC. It is patterned mostly on MS-BASIC as seen on Commodore machines and Apple II (and many others). It also includes the alternate string manipulation methods from Dartmouth BASIC v4 and HP Timeshared BASIC, the later of which was widely used in early microcomputer interpreters. The ultimate goal is to support almo
Rye language
Rye is a dynamic high level programming language with a few new ideas. Where does it Run? Currently on Linux and in a browser (WASM), but will work anywhere Go compiles to. What can it Do? It's a general purpose langauge, but currently it's focused on "backend", networking and information (pre)processing tasks. Is it ready to Use? Not yet, it's still in development but we are already packing it (a
Amber The Programming Language
Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during the compilation process.
The Berry Script Language
Berry is a ultra-lightweight dynamically typed embedded scripting language. It is designed for lower-performance embedded devices. The Berry interpreter-core's code size is less than 40KiB and can run on less than 4KiB heap (on ARM Cortex M4 CPU, Thumb ISA and ARMCC compiler). The interpreter of Berry include a one-pass compiler and register-based VM, all the code is written in ANSI C99. In Berry
The AWK Programming Language, Second Edition
Updated Mon Feb 5 10:22:02 EST 2024 Available in paperback and e-book formats. Order at Amazon and other fine booksellers. Introduction This page holds material related to the second edition of The AWK Programming Language. The first edition was written by Al Aho, Brian Kernighan and Peter Weinberger in 1988. Awk has evolved since then, there are multiple implementations, and of course the computi
GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
This repo is still very early and rough, it's mostly just notes, speculative writing, and exploratory theorem proving. Most of the files in this repo are just "mad scribblings" that I haven't refined enough to actually stand by! If you prefer video, this presentation talks about the core ideas that make formal verification and Magmide possible, and the design goals and intentions of the project: I
ã”ãã’んよã†ã€Zenã¸ã‚ˆã†ã“ã | Reduce your stress with the C language
ã”ãã’んよã†ã€Zenã¸ã‚ˆã†ã“ã Reduce your stress with the C language. The first step to writing perfect software is Zenâ„¢ 今ã™ãダウンãƒãƒ¼ãƒ‰ï¼ˆç„¡æ–™ï¼‰ Zen を勉強ã—始ã‚ã‚‹ Be, Write and Think in Zen The word Zen has many meanings in the Japanese language. The Zen language focuses on these three meanings.
ã“ã®æœ¬ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžRustã®æ•™æã§ã™
注æ„: 最新版ã®ãƒ‰ã‚ュメントをã”覧ãã ã•ã„。ã“ã®ç¬¬1版ドã‚ュメントã¯å¤ããªã£ã¦ãŠã‚Šã€æœ€æ–°æƒ…å ±ãŒåæ˜ ã•ã‚Œã¦ã„ã¾ã›ã‚“。リンク先ã®ãƒ‰ã‚ュメントãŒç¾åœ¨ã® Rust ã®æœ€æ–°ã®ãƒ‰ã‚ュメントã§ã™ã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžRust よã†ã“ã!ã“ã®æœ¬ã¯ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžRustã®æ•™æã§ã™ã€‚Rustã¯å®‰å…¨æ€§ã€é€Ÿåº¦ã€ä¸¦è¡Œæ€§ã®3ã¤ã®ã‚´ãƒ¼ãƒ«ã«ãƒ•ã‚©ãƒ¼ã‚«ã‚¹ã—ãŸã‚·ã‚¹ãƒ†ãƒ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã™ã€‚ ガーベジコレクタãªã—ã«ã“れらã®ã‚´ãƒ¼ãƒ«ã‚’実ç¾ã—ã¦ã„ã¦ã€ä»–ã®è¨€èªžã¸ã®åŸ‹ã‚è¾¼ã¿ã€è¦æ±‚ã•ã‚ŒãŸç©ºé–“や時間内ã§ã®å‹•ä½œã€ デãƒã‚¤ã‚¹ãƒ‰ãƒ©ã‚¤ãƒã‚„オペレーティングシステムã®ã‚ˆã†ãªä½Žãƒ¬ãƒ™ãƒ«ãªã‚³ãƒ¼ãƒ‰ãªã©ä»–ã®è¨€èªžãŒè‹¦æ‰‹ã¨ã™ã‚‹å¤šæ•°ã®ãƒ¦ãƒ¼ã‚¹ã‚±ãƒ¼ã‚¹ã‚’å¾—æ„ã¨ã—ã¾ã™ã€‚ å…¨ã¦ã®ãƒ‡ãƒ¼ã‚¿ç«¶åˆã‚’排除ã—ã¤ã¤ã‚‚実行時オーãƒãƒ¼ãƒ˜ãƒƒãƒ‰ã®ãªã„コンパイル時ã®å®‰å…¨æ€§æ¤œæŸ»ã‚’多数æŒã¡ã€ã“れらã®é ˜åŸŸã‚’ターゲットã«ç½®ãæ—¢å˜ã®è¨€èªžã‚’改善ã—ã¾ã™ã€‚ Rustã¯é«˜ç´šè¨€èªžã®ã‚ˆã†ãªæŠ½è±¡åŒ–ã‚‚å«ã‚ãŸã€Œã‚¼ãƒã‚³ã‚¹ãƒˆæŠ½è±¡
M.Hiroi's Home Page / Scheme Progamming
WHAT'S NEW 2021/10/23 入門編 ã« è¤‡ç´ æ•° ã‚’è¿½åŠ CONTENTS ãŠæ°—楽 Scheme プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ 入門編 応用編 æ€è€ƒãƒ«ãƒ¼ãƒãƒ³ç·¨ パズルã®è§£æ³• micro Scheme ç·¨ 言語処ç†ç³»ç·¨ オブジェクト指å‘ç·¨ Yet Another Scheme Problems Scheme Junk Scripts å‚考文献㨠URL 権利・å…è²¬äº‹é …ãªã© ãŠæ°—楽 Scheme プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å…¥é–€ CONTENTS 2020/08/23 ã¯ã˜ã‚ã« â—入門編 2020/08/23 Scheme ã®åŸºç¤ŽçŸ¥è˜ [1] Scheme ã¯ãƒªã‚¹ãƒˆãŒä¸»äººå…¬ã€ãƒªã‚¹ãƒˆã®æ§‹é€ ã€é–¢æ•°ã®å®Ÿè¡Œã€ã‚·ãƒ³ãƒœãƒ«ã¨æ–‡å—列ã€å¼ã®è¨ˆç®—ã€è¤‡é›‘ãªå¼ã‚’計算ã™ã‚‹ã€é–¢æ•°ã¨ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€é–¢æ•°å®šç¾©ã€å¤‰æ•°ã¨ã¯ï¼Ÿã€ã¾ã¨ã‚ã€å•é¡Œ 2020/08/23 Scheme ã®åŸºç¤ŽçŸ¥è˜ [2] 変数ã¸ã®ä»£å…¥ã€å±€æ‰€å¤‰æ•°ã¨å¤§åŸŸå¤‰æ•°ã€è©•ä¾¡ã—ã¡ã‚ƒ
ã‚‚ã†ã²ã¨ã¤ã® Scheme 入門
勾é…ã®ç·©ã‚„ã‹ãªåˆå¿ƒè€…å‘ã‘ Scheme 入門ページã§ã™ã€‚ コンピュータã¯ä½¿ã£ãŸã“ã¨ãŒã‚ã‚‹ãŒã€ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°çµŒé¨“ãŒã‚ã¾ã‚Šãªã„人を想定ã—ã¦ã„ã¾ã™ã€‚ Scheme ã®è§£èª¬ã¯ã™ã§ã«å±±ã»ã©å„ªã‚ŒãŸã‚‚ã®ãŒã‚ã‚Šã¾ã™ãŒã€ã‚ãˆã¦è§£èª¬è¨˜äº‹ã‚’書ã„ã¦ã¿ã¾ã—ãŸã€‚ Scheme ã®ã‚ˆã†ãªæŠ½è±¡çš„ãªè©±é¡Œã¯æ³¢é•·ãŒåˆãˆã°ã™ã‚“ãªã‚Šã¨ç†è§£ã§ãã¾ã™ãŒã€ã‚ã‚ãªã„ã¨å…¨ãç†è§£ã§ãã¾ã›ã‚“。 ä»–ã®è§£èª¬ã‚’èªã‚“ã§ä»Šã²ã¨ã¤ã‚ˆãç†è§£ã§ããªã‹ã£ãŸäººã¯è©¦ã—ã«èªã‚“ã§ã¿ã¦ãã ã•ã„。 ã“ã®è¨˜äº‹ã®ç›®æ¨™ã¯ã‚³ãƒ³ãƒ”ュータ科å¦ã®æ•™ç§‘書ã®æ±ºå®šç‰ˆã§ã‚ã‚‹ SICP ã‚’èªã‚る程度㮠Scheme ã®çŸ¥è˜ã‚’æä¾›ã™ã‚‹ã“ã¨ã§ã™ã€‚ 目次: 処ç†ç³»ã®ã‚¤ãƒ³ã‚¹ãƒˆãƒ¼ãƒ« Scheme ã‚’é›»å“代ã‚ã‚Šã«ä½¿ã† リストを作ã‚ㆠ関数を定義ã—ã‚ˆã† åˆ†å² å±€æ‰€å¤‰æ•° 繰り返㗠高階関数 入出力 代入 æ–‡å—ã€æ–‡å—列 シンボル型 連想リストã€ãƒãƒƒã‚·ãƒ¥è¡¨ ベクトルã¨æ§‹é€ 体 構文ã®å®šç¾© (マクãƒ) 継続 é…延評価 éž
Google Sites: Sign-in
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
OCaml Programming: Correct + Efficient + Beautiful — OCaml Programming: Correct + Efficient + Beautiful
Preface About This Book Installing OCaml Introduction 1. Better Programming Through OCaml 1.1. The Past of OCaml 1.2. The Present of OCaml 1.3. Look to Your Future 1.4. A Brief History of CS 3110 1.5. Summary 2. The Basics of OCaml 2.1. The OCaml Toplevel 2.2. Compiling OCaml Programs 2.3. Expressions 2.4. Functions 2.5. Documentation 2.6. Printing 2.7. Debugging 2.8. Summary 2.9. Exercises OCaml
Rustã®è‰¯è³ªãªå¦ç¿’リソースをã¾ã¨ã‚ã‚‹ - BioErrorLog Tech Blog
Rustã®å‹‰å¼·ã«è‰¯ã•ã’ãªå¦ç¿’リソースをã¾ã¨ã‚ã¾ã™ã€‚ ã¯ã˜ã‚ã« Rustå¦ç¿’リソースã¾ã¨ã‚ The Rust Programming Language Tour of Rust Rust by Example The Rust Reference The Cargo Book Crate docs Rust API Guidelines Rust Design Patterns The Rustonomicon Secure Rust Guidelines Command line apps in Rust ãŠã‚ã‚Šã« å‚考 ã¯ã˜ã‚ã« ã“ã‚“ã«ã¡ã¯ã€@bioerrorlogã§ã™ã€‚ 最近ã€Rustを触り始ã‚ã¾ã—ãŸã€‚ 多様ãªé ˜åŸŸã§ç››ã‚Šä¸ŠãŒã‚Šã‚’見ã›ã¦ã„ã‚‹Rustã§ã™ãŒã€ç§ã¯æœ€è¿‘ãƒãƒžã£ã¦ã„るブãƒãƒƒã‚¯ãƒã‚§ãƒ¼ãƒ³ã®ã‚¨ã‚³ã‚·ã‚¹ãƒ†ãƒ ã§RustãŒä½¿ã‚れるã“ã¨ãŒç›´æŽ¥ã®ç†ç”±ã¨ãªã‚Šã€Rustã«å…¥é–€ã—ã¾ã—ãŸã€‚ Rustã¯å¦ç¿’
The Janet Programming Language
Janet is a functional and imperative programming language. It runs on Windows, Linux, macOS, BSDs, and should run on other systems with some porting. The entire language (core library, interpreter, compiler, assembler, PEG) is less than 1MB. You can also add Janet scripting to an application by embedding a single C source file and a single header. Use Cases Janet makes a good system scripting lang
ãªãœElmã¯0.19ã®ã¾ã¾ã‹ã€å¤‰åŒ–ã™ã‚‹ã“ã¨ï¼ã—ãªã„ã“㨠- Runner in the High
discourse.elm-lang.org ã¤ã„先日ã€æ•°ã‹æœˆã¶ã‚Šã«Elmã®update話ãŒã§ã¦ããŸã€‚ Elmã¯0.19ã‹ã‚‰ã»ã¨ã‚“ã©ãƒ¡ã‚¸ãƒ£ãƒ¼ãƒãƒ¼ã‚¸ãƒ§ãƒ³ã‚¢ãƒƒãƒ—ã—ã¦ã„ãªã„。最後ã®ãƒªãƒªãƒ¼ã‚¹ã¯ç´„9ã‹æœˆå‰ã«ã‚‚ãªã‚‹ã€‚ ã“ã®äº‹å®Ÿã ã‘を知るã¨ã€ŒElmã¯ã‚‚ã†çµ‚ã‚ã£ãŸã®ã‹ã€ã€ŒEvan*1ã¯é–‹ç™ºã®ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³ã‚’失ã£ãŸã®ã‹ã€ã¨æ€ã‚れるã“ã¨ãŒã‚る。実際ãã†ã„ã†è©±ã¯ãƒãƒƒãƒˆã§ãƒãƒ©ãƒ›ãƒ©è¦‹ã‹ã‘る。確ã‹ã«ã€ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰é–‹ç™ºè¨€èªžã®AltJSã¨ã—ã¦è¿‘ã—ã„TypeScriptã‚„Flutterã¨æ¯”較ã™ã‚‹ã¨ã€ã‚ã¾ã‚Šã«ã‚‚æ©Ÿèƒ½è¿½åŠ ã•ã‚Œç„¡ã•ã™ãŽã‚‹ã‚ˆã†ã«ã‚‚見ãˆã‚‹ã€‚究極的ã«ã¯ã€Œä½•ã¨æ¯”較ã™ã‚‹ã‹ï¼Ÿã€ã¨ã„ã†è©±ã ã¨ã¯æ€ã†ãŒã€ãŸã—ã‹ã«ãƒ•ãƒãƒ³ãƒˆã‚¨ãƒ³ãƒ‰ç•Œéšˆçš„ãªè¦³ç‚¹ã§ã¯Elmã¯äº€ã®æ©ã¿ãªã®ã¯é–“é•ã„ãªã„。 変化ã™ã‚‹ã®ã¯ã„ã„ã“ã¨ã ... ãªã‚“ã¨ãªãè‚Œã§æ„Ÿã˜ã‚‹äººã‚‚多ã„事実ã¨ã—ã¦ã€ä¸–ã®ä¸ã«ã¯"最先端を目指ã—ã¦å¤‰åŒ–ã™ã‚‹ã®ã¯ã„ã„ã“ã¨ã "ã¨ã„ã†æš—黙的ãªçµ±ä¸€è¦‹è§£ãŒå˜åœ¨ã—ã¦
Why Every Developer Should Start Programming With C
Photo by Liam Briese on UnsplashThere are about 700 programming languages in the world. However, developers use about 20 different programming languages to build enterprise software. In other words, there are only a few popular general-purpose programming languages, even if there are many programming languages. Developers usually start coding at school, university, or when they begin their career.
ãƒã‚«ã«C言語ã¯é›£ã—ã„~プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®æ©Ÿä¼šæ失~
プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã¯é›£ã—ㄠ注æ„： ã“ã®è¨˜äº‹ã¯ã€Œãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°å¦ç¿’ã¨ã¯ã‹ãã‚ã‚‹ã¹ãã€ã€ã€Œã“ã†ã‚„ã£ã¦å¦ç¿’ã™ã‚‹ã®ãŒä¸€ç•ªã€ã¨ã„ã†ã“ã¨ã‚’言ã„ãŸã„ã®ã§ã¯ãªãã€ãƒ—ãƒã‚°ãƒ©ãƒ を勉強ã—ãŸã„ãŒå³ã‚‚左もã‚ã‹ã‚‰ãªã„人ã«å°‘ã—ã§ã‚‚勇気ã¨æƒ…å ±ã‚’ä¸Žãˆã‚‹ã“ã¨ã‚’目的ã¨ã—ã¦ã„ã¾ã™ã€‚éŽåŽ»ã®æŒ«æŠ˜çµŒé¨“ã‹ã‚‰ã‹ã€ãªã‹ã°æ„šç—´ã£ã½ããªã£ã¦ã„ã¾ã™ãŒã”勘å¼ã‚’ ã¯ã˜ã‚ã«è‡ªåˆ†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°æ´ã‚’軽ã紹介ã—ã¦èµ·ãã¾ã™ã€‚ å¹´ 言語 å¦ç¿’目的 2010 C言語 å¦æ ¡ã®å®Ÿç¿’ 2011 C++ 組ã¿è¾¼ã¿ç³» 2012~2017 None None 2018 Go,Js,Scala,Python ç ”ç©¶ã€Web開発 ã¨ã„ã£ãŸæ„Ÿã˜ã§ã™ã€‚2012~2017å¹´ãŒNoneã«ãªã£ã¦ã„ã‚‹ã®ã«ã¯åŽŸå› ãŒã€ŒC言語ã«æŒ«æŠ˜ã—ã€ã¨ã«ã‹ãプãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ãŒã—ãŸããªã‹ã£ãŸã€ã‹ã‚‰ã§ã™ã€‚ãã†æ€ã£ã¦ã—ã¾ã£ãŸåŽŸå› ã¨ã€ãã“ã‹ã‚‰ç«‹ã¡ç›´ã£ãŸã“ã¨ãŒã“ã®è¨˜äº‹ã‚’書ã„ãŸç†ç”±ã§ã™ã€‚ 「ãŠã„ãŠã„ã€C言語ã”ã¨ãã§æŒ«æŠ˜ã¨ã¯æƒ…ã‘
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://vale.dev/
GitHub - subsetpark/pantagruel: A program specification language with a formal syntax and ad-hoc semantics.
「最も嫌ã„ãªãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¯ä½•ï¼Ÿã€æ „ãˆã‚ã‚‹1ä½ã«è¼ã„ãŸã®ã¯ã‚ã®è¨€èªžã€ã‚„ã˜ã†ã¾Watch】
{{#tags}}- {{label}}
{{/tags}}