Alternatives and similar repositories for technical-blogs

Users that are interested in technical-blogs are comparing it to the libraries listed below

• GavinMendelGleason / many_worlds
  A description of the relationship between databases, collaboration and Kripke
  ☆28Updated 3 years ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆99Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• GavinMendelGleason / blog
  Gavin Mendel-Gleason's blog
  ☆89Updated last year
• podlite / podlite-specs
  Podlite specification documents ( v1.0 released 🎉 )
  ☆23Updated last month
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• Anniepoo / declswiplweb
  End to end declarative web programming with no JS using htmx and SWI-Prolog
  ☆13Updated 4 years ago
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated last week
• terminusdb / terminusdb-client-js
  TerminusDB JavaScript Client
  ☆40Updated 2 weeks ago
• terminusdb / terminusdb-tutorials
  Tutorials for using TerminusDB
  ☆58Updated 2 years ago
• hwayne / tla-graphing-demo
  A demo of analyzing a TLA+ state graph
  ☆29Updated 2 years ago
• inkandswitch / ksp-browser
  Connect the things you already know in your browser.
  ☆73Updated 2 years ago
• uprun / lisperanto
  Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;
  ☆44Updated last month
• philzook58 / prologsolvers
  Copies of prolog solvers for use from python
  ☆17Updated 11 months ago
• codemicro / walrss
  [mirror] Email-based RSS digest generator
  ☆21Updated 4 months ago
• MaxwellBo / maxwellbo.github.io
  vibe coding only zone
  ☆17Updated 2 weeks ago
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆51Updated this week
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆61Updated 5 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• endatabas / endb-book
  The Endatabas Book
  ☆16Updated 10 months ago
• GreatTA1998 / explanations.io
  Web platform for blackboard-video explanations
  ☆18Updated 3 weeks ago
• Periklismant / oPIEC
  oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus
  ☆19Updated 6 months ago
• ErgoAI / ErgoEngine
  The ErgoAI reasoning engine, an advanced object-oriented knowledge management system
  ☆38Updated 2 months ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• pavel-krivanek / articles
  Variaous articles
  ☆80Updated 2 years ago
• Racket-Cookbooks / Plot-cookbook
  Plot Cookbook
  ☆50Updated 2 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆76Updated 4 months ago
• terminusdb / tus
  TUS protocol for resumable file uploads via HTTP
  ☆13Updated 7 months ago
• terminusdb / terminusdb-bootstrap
  TerminusDB Bootstrap
  ☆66Updated last year
• nilenso / bean
  A Spreadsheet Playground
  ☆41Updated 8 months ago