Language index — DedSec Project

111 curated language or dialect introductions, categorized below.

Array programming languages

• APL — Programming_Languages/Array/APL.md
• BQN — Programming_Languages/Array/BQN.md
• J — Programming_Languages/Array/J.md
• Uiua — Programming_Languages/Array/Uiua.md

Smart contract languages

• Move — Programming_Languages/Blockchain/Move.md
• Solidity — Programming_Languages/Blockchain/Solidity.md
• Vyper — Programming_Languages/Blockchain/Vyper.md

Configuration languages

• Jsonnet — Programming_Languages/Configuration/Jsonnet.md
• Nix — Programming_Languages/Configuration/Nix.md
• Starlark — Programming_Languages/Configuration/Starlark.md

Creative computing

• Processing (Java mode) — Programming_Languages/Creative/Processing_Java_mode.md

Databases and data languages

• Apache Spark SQL — Programming_Languages/Data/Apache_Spark_SQL.md
• MySQL SQL — Programming_Languages/Data/MySQL_SQL.md
• PostgreSQL PL/pgSQL — Programming_Languages/Data/PostgreSQL_PL_pgSQL.md
• SAS — Programming_Languages/Data/SAS.md
• SQL (SQLite) — Programming_Languages/Data/SQL_SQLite.md
• Stata — Programming_Languages/Data/Stata.md

Learning languages

• Logo — Programming_Languages/Educational/Logo.md
• Scratch (textual pseudocode) — Programming_Languages/Educational/Logo.md

Esoteric programming languages

• Brainfuck — Programming_Languages/Esoteric/Brainfuck.md

Functional programming

• Clojure — Programming_Languages/Functional/Clojure.md
• Common Lisp — Programming_Languages/Functional/Common_Lisp.md
• Elixir — Programming_Languages/Functional/Elixir.md
• Erlang — Programming_Languages/Functional/Clojure.md
• F# — Programming_Languages/Functional/F_Sharp.md
• Factor — Programming_Languages/Functional/Clojure.md
• Gleam — Programming_Languages/Functional/Clojure.md
• Haskell — Programming_Languages/Functional/Haskell.md
• OCaml — Programming_Languages/Functional/OCaml.md
• PureScript — Programming_Languages/Functional/Clojure.md
• Racket — Programming_Languages/Functional/Racket.md
• ReasonML — Programming_Languages/Functional/Clojure.md
• Scala — Programming_Languages/Functional/Scala.md
• Scheme — Programming_Languages/Functional/Scheme.md

Game scripting

• GDScript — Programming_Languages/Games/GDScript.md
• GameMaker Language — Programming_Languages/Games/GDScript.md

General-purpose programming

• C# — Programming_Languages/General/C_Sharp.md
• Crystal — Programming_Languages/General/Crystal.md
• Dart — Programming_Languages/General/Dart.md
• Java — Programming_Languages/General/Java.md
• Kotlin — Programming_Languages/General/Kotlin.md
• Objective-C — Programming_Languages/General/Objective_C.md
• Python — Programming_Languages/General/Python.md
• Ruby — Programming_Languages/General/Ruby.md
• Swift — Programming_Languages/General/Swift.md
• Visual Basic .NET — Programming_Languages/General/Python.md

Hardware description languages

• SystemVerilog — Programming_Languages/Hardware/SystemVerilog.md
• VHDL — Programming_Languages/Hardware/SystemVerilog.md
• Verilog — Programming_Languages/Hardware/Verilog.md

Historical and enterprise languages

• COBOL — Programming_Languages/Legacy/COBOL.md
• Forth — Programming_Languages/Legacy/Forth.md
• Object Pascal / Delphi — Programming_Languages/Legacy/Object_Pascal_Delphi.md
• Pascal — Programming_Languages/Legacy/Pascal.md
• REXX — Programming_Languages/Legacy/REXX.md
• Smalltalk — Programming_Languages/Legacy/Smalltalk.md

Logic programming

• Mercury — Programming_Languages/Logic/Mercury.md
• Prolog — Programming_Languages/Logic/Prolog.md

Proof assistants and dependent types

• Agda — Programming_Languages/Proof/Agda.md
• Coq / Gallina — Programming_Languages/Proof/Coq_Gallina.md
• Idris 2 — Programming_Languages/Proof/Idris_2.md
• Lean 4 — Programming_Languages/Proof/Lean_4.md

Quantum programming

• Q# — Programming_Languages/Quantum/Q_Sharp.md

Scientific and numerical computing

• Chapel — Programming_Languages/Scientific/Chapel.md
• Fortran — Programming_Languages/Scientific/Fortran.md
• Futhark — Programming_Languages/Scientific/Futhark.md
• GNU Octave — Programming_Languages/Scientific/GNU_Octave.md
• Julia — Programming_Languages/Scientific/Julia.md
• MATLAB — Programming_Languages/Scientific/MATLAB.md
• R — Programming_Languages/Scientific/R.md
• Wolfram Language — Programming_Languages/Scientific/Wolfram_Language.md

Automation and shell scripting

• AWK — Programming_Languages/Scripting/AWK.md
• AppleScript — Programming_Languages/Scripting/AppleScript.md
• AutoHotkey v2 — Programming_Languages/Scripting/AutoHotkey_v2.md
• Bash — Programming_Languages/Scripting/Bash.md
• Batch CMD — Programming_Languages/Scripting/Batch_CMD.md
• Emacs Lisp — Programming_Languages/Scripting/Emacs_Lisp.md
• Fish — Programming_Languages/Scripting/Fish.md
• Groovy — Programming_Languages/Scripting/Groovy.md
• Janet — Programming_Languages/Scripting/Janet.md
• Lua — Programming_Languages/Scripting/Lua.md
• Perl — Programming_Languages/Scripting/Perl.md
• PicoLisp — Programming_Languages/Scripting/PicoLisp.md
• PowerShell — Programming_Languages/Scripting/PowerShell.md
• Raku — Programming_Languages/Scripting/Raku.md
• Squirrel — Programming_Languages/Scripting/Squirrel.md
• Tcl — Programming_Languages/Scripting/Tcl.md
• VBA — Programming_Languages/Scripting/VBA.md
• Zsh — Programming_Languages/Scripting/Zsh.md

Graphics shader languages

• GLSL — Programming_Languages/Shaders/GLSL.md
• HLSL — Programming_Languages/Shaders/HLSL.md
• WGSL — Programming_Languages/Shaders/WGSL.md

Systems and low-level programming

• ARM64 Assembly (Linux) — Programming_Languages/Systems/ARM64_Assembly_Linux.md
• Ada — Programming_Languages/Systems/C.md
• C — Programming_Languages/Systems/C.md
• C++ — Programming_Languages/Systems/C_Plus_Plus.md
• D — Programming_Languages/Systems/D.md
• Go — Programming_Languages/Systems/Go.md
• Nim — Programming_Languages/Systems/Nim.md
• Odin — Programming_Languages/Systems/C.md
• Pony — Programming_Languages/Systems/Pony.md
• Rust — Programming_Languages/Systems/Rust.md
• V — Programming_Languages/Systems/V.md
• WebAssembly Text (WAT) — Programming_Languages/Systems/C.md
• Zig — Programming_Languages/Systems/Zig.md
• x86-64 Assembly (NASM/Linux) — Programming_Languages/Systems/x86_64_Assembly_NASM_Linux.md

Web and typed web languages

• Elm — Programming_Languages/Web/Elm.md
• Hack — Programming_Languages/Web/Hack.md
• JavaScript — Programming_Languages/Web/JavaScript.md
• PHP — Programming_Languages/Web/PHP.md
• ReScript — Programming_Languages/Web/ReScript.md
• TypeScript — Programming_Languages/Web/TypeScript.md

The examples are introductory and version-dependent. Keep lessons updated against official specifications; the catalog is not exhaustive.

Using the programming workbooks without repetitive boilerplate

The booklets concentrate on the particular syntax, invariants, counterexamples and laboratory problems of each language. Use this shared method once rather than copying its paragraphs into every page.

1. Describe the environment. Record compiler/interpreter version, OS, runtime backend and permissions. A snippet can be valid in a dialect but invalid in a different release.
2. Isolate the claim. Identify which source expression, state transition, type, proof, shape or memory operation you wish to understand. Predict output before running.
3. Maintain a control. Save the provided starter unchanged. Execute experiments in a separate scratch file, using synthetic data and local/test environments.
4. Test both sides. At minimum cover normal input, an edge value and an intentionally invalid case. A rejected input needs an explainable failure, not a disabled check.
5. Record the evidence. Keep source, exact command or host action, observed output, error diagnostic, and a one-sentence explanation. Compilation alone does not establish runtime correctness or safety.
6. Review platform differences. GPU shader hosts, hardware simulators, proof checkers, blockchain sandbox chains and proprietary IDEs each have capabilities that differ from ordinary shell execution.
7. Extend only after verifying. Add a test before an optimization. Re-check behavior for Unicode, numeric limits, empty inputs, resource lifetimes or authorization where relevant.

Each workbook has one concrete technical focus. Its neighboring Mastery Pathway, Practical Code, and Technical Notes files (when present) provide complementary material, not a second copy of the same narrative. If a language has no known runnable example for a target platform, mark it as unverified rather than inventing results.