[Dokmelody scratchpad notes]
[Main website]
Search
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
dok/spec/strings
dok/syntax
dok/tech/silver-ag
dokmelody/ag-gui
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/buck2
tech/cassowary
tech/ceph
tech/cernvm-fs
tech/CHR
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/hyperdrive
tech/immer
tech/IncA
tech/IPFS
tech/jastadd
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/parsing
tech/pg-dbms
tech/pgm-dbms-index
tech/pharo
tech/pijul
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/sourcegraph
tech/sparta-project
tech/spectre
tech/SQL
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