Code to support the guide to logical induction for software engineers
☆11Mar 24, 2025Updated 11 months ago
Alternatives and similar repositories for logical-induction
Users that are interested in logical-induction are comparing it to the libraries listed below
Sorting:
- psql plugin for Nu Shell☆21Mar 4, 2025Updated 11 months ago
- ACSets: Algebraic databases as in-memory data structures☆27Feb 10, 2026Updated 3 weeks ago
- MeTTa Optimal Reduction Kernel☆47Updated this week
- Boolean Hypervectors with various operators for experiments in hyperdimensional computing (HDC).☆31Jan 7, 2026Updated last month
- My RubyConf 2021 Workshop Materials☆10Nov 5, 2021Updated 4 years ago
- AlgZoo: uninterpreted models with fewer than 1,500 parameters☆43Jan 19, 2026Updated last month
- Generate shapes for object detection algorithms☆14Aug 25, 2017Updated 8 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Interactive map of neural connections in the nematode C. elegans. Online at http://nemanode.org.☆11May 30, 2024Updated last year
- ☆14Mar 10, 2021Updated 4 years ago
- Swift implementation of multihash☆15May 9, 2023Updated 2 years ago
- "Artificial General Intelligence For All (AGIFA)" Project☆12Feb 25, 2024Updated 2 years ago
- AdmiralBumbleBee's talon config☆11Jan 1, 2022Updated 4 years ago
- Moved to Codeberg☆10Jan 10, 2026Updated last month
- This demo code demonstrates how to enable .NET Core to play audio with the help of NodeServices and Node.js. Due to its platform-indepen…☆10Jun 12, 2020Updated 5 years ago
- The Ghost blog system upgraded with Heroku deploys & IPFS support.☆15Dec 10, 2022Updated 3 years ago
- A library that records Emacs inter-key timings.☆10Oct 11, 2017Updated 8 years ago
- A harder version based in the simple AI for 2048☆25Sep 11, 2023Updated 2 years ago
- Applications for Kubernetes☆12Mar 28, 2020Updated 5 years ago
- Rehype plugin to rewrite URLs☆14Jul 19, 2023Updated 2 years ago
- 🤖 Parse ansi into an array of ansi-tags and text-chunks.☆14Nov 14, 2023Updated 2 years ago
- ActivityWatch bash and zsh watcher.☆10Dec 2, 2022Updated 3 years ago
- A character-level BERT for Ancient Greek☆10Jul 22, 2023Updated 2 years ago
- DynOS 95 is built to improve the onboarding experience to web3☆11Apr 16, 2024Updated last year
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Swift plugin for https://github.com/asdf-vm/asdf/☆11Apr 14, 2021Updated 4 years ago
- ☆16Apr 11, 2023Updated 2 years ago
- Persisted versions of useState and useReducer.☆12Mar 4, 2023Updated 2 years ago
- A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) fo…☆11Jan 14, 2026Updated last month
- ☆11Aug 16, 2015Updated 10 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Core Elixir IPFS☆12Jan 26, 2025Updated last year
- Zsh plugin to record command history with more context☆11Feb 15, 2024Updated 2 years ago
- Jupyter client☆15Jul 12, 2025Updated 7 months ago
- Visual search interface☆11Nov 30, 2021Updated 4 years ago
- Example code - use word embeddings to make emoji prediction smarter with context☆11Sep 14, 2018Updated 7 years ago
- ☆10Oct 22, 2024Updated last year
- Patch console methods to intercept output☆18Jul 27, 2022Updated 3 years ago
- Git repository for my personal site built with WordPress, ReactJS, GatsbyJS and GraphQL.☆11Feb 10, 2022Updated 4 years ago