Index

business/open-collective

community/gitlab-handbook

community/mailing-list-tool

community/zulip-chat

compiler/tower-of-interpreters

doc/false-friends

dok/compiler

dok/example/100-doors

dok/example/Algebraic-Data-Type

dok/example/attribute-grammars

dok/example/common-greather-denominator

dok/example/contexts

dok/example/loops

dok/example/OOP

dok/example/red-black-tree

dok/paper/call-site-optimizations

dok/paper/dot-types

dok/paper/fail-boxes-resource-management

dok/paper/familia-oop-paradigm

dok/paper/first-class-environment

dok/paper/programming-with-implicit-values

dok/paper/resugaring-lifting-evaluation

dok/paper/static-stages-for-heterogeneus-programming

dok/paper/unifying-tables-objects-and-documents

dok/paper/worlds-brancheable-side-effects

dok/paradigm/code-as-firsc-class-citizen

dok/paradigm/customizable-compiler

dok/paradigm/layered-semantic

dok/paradigm/reduce-combinatorial-explosion-of-features

dok/spec/attribute-grammar

dok/spec/check-value-equality

dok/spec/flow-typing

dok/spec/literate-programming

dok/spec/metaprogramming

dok/spec/nested-transactions-semantic

dok/spec/OOP

dok/spec/reference

dok/spec/return-multiple-values

dokmelody/gui-examples

dokmelody/paradigm/fun-programming

dokmelody/paradigm/moldable-dev-environment

dokmelody/paradigm/multiparadigm

dokmelody/paradigm/scout-method

dokmelody/social/review-group

dokmelody/tech/aardvark-graphics

dokmelody/tech/codebubbles

dokmelody/tech/contextualize

dokmelody/tech/dendron-roam-like

dokmelody/tech/grid-layout-manager

dokmelody/tech/low-code

dokmelody/tech/para-project-organization

dokmelody/tech/termkit

dokmelody/tech/vue-maps

dokmelody/tech/warpd-advanced-keyboard-based-ui

dokmelody/tech/workflow-systems

doknil/paradigm

doknil/tech/diataxis

doknil/tech/differential-datalog

doknil/tech/edgedb

doknil/tech/graal-deductive-dbms

doknil/tech/knowledgebase-data

Eiffel

feature/abstract-data-structures

feature/abstract-interpretation

feature/active-read

feature/ad-hoc-polymorphism

feature/attribute-grammar

feature/chunk-oriented-programming

feature/clear-error-messages

feature/code-blocks

feature/concurrent-code

feature/custom-RAM-management

feature/debug-of-FP-code

feature/declarative-code

feature/devop

feature/distributed-file-system

feature/DSL

feature/easy-code-comprehension

feature/flexible-syntax

feature/fset

feature/fusion

feature/garbage-collection

feature/inner-code-documentation

feature/integration

feature/linter

feature/macro

feature/manual-customization-of-code

feature/multiple-run-times

feature/oop

feature/packages

feature/programming-language-versioning

feature/refinement-types

feature/reflection

feature/safe-constructors-and-exception-handling

feature/simd-programming

feature/stratified-code-generation

feature/stream

feature/streams

feature/syntax-abstractions

feature/transaction-semantic

feature/uniform-dok-view

feature/variable-args-functions

fetaure/code-analysis

fetaure/reification-of-the-caller

lazy-evaluation

paradigm/actor-model

paradigm/algebraic-effects-handler

paradigm/anti-NIH

paradigm/aot-with-profiling

paradigm/async-await

paradigm/automatically-formatted-PL

paradigm/calm

paradigm/cl-condition-system

paradigm/codata

paradigm/code-reuse

paradigm/community-oriented-programming

paradigm/compositional-programming

paradigm/configurations-as-native-expressions

paradigm/context-oriented-programming

paradigm/defs-to-reference

paradigm/event-sourcing

paradigm/familia-oop

paradigm/first-class-builds

paradigm/glue-oriented-programming

paradigm/IDE-oriented-programming

paradigm/inspect-data-producer

paradigm/live-system

paradigm/protocol

paradigm/rich-runtime

paradigm/runtime-oriented-programming

paradigm/scripting-language

paradigm/system-vs-functions

paradigm/tagless-final-algebras

pijul/status

pl/cl-nil

pl/cl-runtime

pl/macro-as-boilerplate-reduction

pl/ocaml-extension-points

pl/special-ops

pl/unigienic-macro

problem/the-expression-problem

tech/abcdesktop.io-html5-remote-viewer

tech/adaption-incremental-lambda-calculus

tech/anna-kv-dbms-calm

tech/aterm-library

tech/basalt-declarative-diagrams

tech/bitemporal-dbms

tech/blackbird-cl-promise-future

tech/classowary-ui-constraint-solver-in-cl

tech/codeq-code-analysis

tech/conceptbase

tech/constraint-solver

tech/cpnproto-rpc

tech/CRDT

tech/DAT

tech/decision-records

tech/disruptor-shared-ram-queue

tech/doknil/sparontolegies

tech/doknil/tawny-owl-

tech/ECL

tech/edge-sql-replacement

tech/first-class-environments-cl-clostrum

tech/Formulog-code-analysis

tech/frama-c-code-analysis

tech/fusion-of-string-operations

tech/gitbom-sign-builds

tech/gpu-based-DBMS

tech/GraphBLAS

tech/grin-ir

tech/hdf-portable-file-data-format

tech/herbie-fix-math-precision-problems

tech/holochain-blockchain

tech/hotwire

tech/hvm-functional-optimal-vm

tech/landlock-make-bazel-replacement

tech/libraries-with-compilation-plugins-sausage

tech/LMDB

tech/locutus-decentralized-distribuited-community-datastructure

tech/logicblox-sql-replacement

tech/lrc-AG-compiler

tech/marpa-parser

tech/math-tools

tech/mbeddr-mps-coding-tool

tech/mosaic-graph-algo

tech/mps-memory-manager

tech/nanopass

tech/newlisp

tech/nlnet-community-search-engine

tech/omr-runtime

tech/osgi-java

tech/pachyderm-data-transformation

tech/parquette-data-format

tech/prosto-data-processing

tech/proxima-editor

tech/reuse-license

tech/roar-efficient-bitmaps

tech/rosette-racket-verification-tool

tech/rudderstack-data-pipeline

tech/sdsl-succint-data-structures

tech/seastar-fast-shared-RAM-process

tech/silver-ablec

tech/souffle-datalog-analysis-of-code

tech/stencil-computations

tech/syndicate

tech/topgit

tech/turnstile

tech/type-system-test

tech/wal2json-for-PG

tech/watchman-file-change-observer

tech/yawl-workflow-language

tetch/web-cache

trick/CL-generic-functions

trick/DSL-usage-syntax

trick/smalltalk-;

trick/subject-based-programming

trick/vars-as-template-placeholder

values-vs-references