terminusdb / technical-blogsLinks
Technical blogs around data collaboration, data management, and building collaborative applications.
☆46Updated 2 years ago
Alternatives and similar repositories for technical-blogs
Users that are interested in technical-blogs are comparing it to the libraries listed below
Sorting:
- A description of the relationship between databases, collaboration and Kripke☆28Updated 3 years ago
- Podlite specification documents ( v1.0 released 🎉 )☆23Updated 2 months ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- Gavin Mendel-Gleason's blog☆89Updated last year
- A query language for exploring knowledge graphs.☆142Updated last month
- PostgreSQL Prolog language handler☆134Updated last year
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 6 months ago
- Tutorials for using TerminusDB☆58Updated 2 years ago
- A Prolog library to connect to PostgreSQL databases☆100Updated last year
- Plow - The ontology package manager☆58Updated last year
- Trealla Prolog embedded in Go using WASM☆79Updated last month
- Lisperanto is a spatial canvas for programming; Lisperanto is a spatial canvas for knowledge; Lisperanto is a spatial canvas for ideas;☆44Updated 2 months ago
- Trealla Prolog for the web☆52Updated last week
- SWI-Prolog WebAssembly build as a NPM package☆51Updated this week
- Simple timetabling engine for schools☆28Updated last year
- A probabilistic approximate DNF counter☆37Updated 2 weeks ago
- ☆80Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A render engine and editor for html markup that is stored seperate from the content - out of band - as Ted Nelson would like.☆35Updated 3 years ago
- Persistence of concurrent activities for Gerbil Scheme☆53Updated 2 weeks ago
- Typed Formats for Storing & Transferring Data & Code☆33Updated 2 months ago
- A Spreadsheet Playground☆41Updated 3 weeks ago
- Decision Model & Notation in Markdown table format☆23Updated 2 weeks ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated this week
- The Endatabas Book☆16Updated 10 months ago
- A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…☆25Updated 2 years ago
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated last year
- Syrup is a simple binary way of preserving data on the wire, with perhaps a few extra calories.☆26Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 7 months ago
- Everyting you need to know about Aquila Network Neural Search Ecosystem. Official repositories, client libraries, ecosystem projects, boi…☆32Updated 3 years ago