151 Open source projects that are alternatives of or similar to Limbo

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

combining wikidata and clojure core.logic

LoMRF is an open-source implementation of Markov Logic Networks

北京买房攻略

Local and Anki-compatible note-taking tool based on TiddlyWiki

Learn advanced data science on real-life, curated problems

Organize world's knowledge, explore connections and curate learning paths

The Flix Programming Language

Wandora is a general purpose information extraction, management and publishing application based on Topic Maps and Java.

📝 My method to capture, study, and recall interesting knowledge

🎬 🎓 An opinionated list of awesome videos related to Python, with a focus on training and gaining hands-on experience.

Plain text file based note taking and knowledge base building tool, markdown editor, simple browser IDE.

pdf,txt,djvu, various useful books

基于知识库的中文问答系统（biLSTM）

🌎 Complex Topics Explained For Your Level And Background. ✏️

Examples of not obvious behaviors for javascript beginner programmers

Documenting every knowledge

LaTTe : a Laboratory for Type Theory experiments (in clojure)

Comprehensive data proxy to knowledge about real world

Alfred workflow to search Learn Anything

2017年买房经历总结出来的买房购房知识分享给大家，希望对大家有所帮助。买房不易，且买且珍惜。Sharing the knowledge of buy an own house that according to the experience at hangzhou in 2017 to all the people. It's not easy to buy a own house, so I hope that it would be useful to everyone.

我是Mokou， 📘 这里是写前端博客和备忘学习的地方。Vue3 源码解析连载中。喜欢请Star。

A next-generation curated knowledge sharing platform for data scientists and other technical professions.

Content Enhanced BERT-based Text-to-SQL Generation

🎓 🎬 An opinionated list of awesome videos related to IT / development topics, with a focus on training and gaining hands-on experience.

A digital logic simulator

Mod for minetest that adds digital circuitry [=minecraft redstone]

Web application for management formal representations of knowledge, like controlled vocabularies, taxonomies, thesauri and glossaries

Awesome Command Line Utilities

Openllet is an OWL 2 reasoner in Java, build on top of Pellet.

We moved to GitLab 💔 Openki is a tool to build up and organize local communities – Open education for real.

A digital logic designer and circuit simulator.

Everything I know

Crowi - The Markdown Wiki - Empower the team with sharing your knowledge

Schematics for DLS - The Digital Logic Simulator game http://makingartstudios.itch.io/dls

Semua catatan tentang teknologi dan development 😎

信息安全方面面试清单

Distributed publishing platform and discussion network for scholars. Establishing an unenclosable scholarly commons.

Thinking notebook and Markdown editor.

Knowledge is Power

Move your mouse, generate code from flow chart

Final Year Masters Project: modal logic solver tableaux

XVWA is intentionally designed with many security flaws and enough technical ground to upskill application security knowledge. This whole idea is to evangelize web application security issues. Do let us know your suggestions for improvement or any more vulnerability you would like to see in XVWA future releases.

💥 Listing some playful open-source's challenges of companies to test your knowledge

A PyTorch-based knowledge distillation toolkit for natural language processing

Basic pytorch implementation of NAC/NALU from Neural Arithmetic Logic Units paper by trask et.al

💡 A list of knowledge repositories

A list of philosophy books and resources.

PYBOSSA is the ultimate crowdsourcing framework (aka microtasking) to analyze or enrich data that can't be processed by machines alone.

Awesome EventStorming

λΠ Programming Language Theory

💡 document everything

Modern Confluence alternative designed for internal & external docs, built with Golang + EmberJS

Archivy is a self-hosted knowledge repository that allows you to safely preserve useful content that contributes to your own personal, searchable and extendable wiki.

MindForger documentation repository.

ACL2 System and Books as Maintained by the Community

Awesome Research Papers

Zettel Network Visualizer