aliscie / odocView external linksLinks
☆14May 11, 2025Updated 9 months ago
Alternatives and similar repositories for odoc
Users that are interested in odoc are comparing it to the libraries listed below
Sorting:
- Motoko fuzzing library☆11Jun 1, 2025Updated 8 months ago
- DFX Dashboard is a user-friendly GUI built on top of the dfx CLI, simplifying canister management, network configuration, and project wor…☆17Jun 17, 2025Updated 7 months ago
- A canister smart contract testing solution for the Internet Computer.☆35Jan 26, 2026Updated 2 weeks ago
- An example nft built on ICRC7/37/3 standards☆11Jan 7, 2025Updated last year
- Antimony is a free open source peer-to-peer electronic cash system that is completely decentralized, without the need for a central serve…☆16Jul 20, 2025Updated 6 months ago
- A collection of resources related to OTT and streaming.☆11Oct 15, 2019Updated 6 years ago
- Efficient Message Digest for MXF Files☆10Jul 6, 2020Updated 5 years ago
- Get Telemetry Data from YAMCS in OpenMCT☆10Sep 15, 2017Updated 8 years ago
- OntoSeer is a tool to help users build better quality ontologies☆13Sep 8, 2024Updated last year
- Simple Nostr client running on the ICP. Using vetkeys for secure storing private keys on-chain.☆10Jun 24, 2024Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Advanced extra high speed deep packet inspect library with private AFDL language supported☆11Jul 29, 2018Updated 7 years ago
- Build Neo4j graphs from Datashare projects☆15Jan 15, 2026Updated last month
- N-Queens puzzle built with react and SWI Pengines.☆10Feb 24, 2025Updated 11 months ago
- Visual SPARQL query tool☆10Feb 26, 2016Updated 9 years ago
- Perun Payment Channels Canister for the Dfinity Internet Computer☆11Oct 20, 2023Updated 2 years ago
- ☆10Apr 20, 2015Updated 10 years ago
- Steam integration for candle engine.☆11Oct 25, 2018Updated 7 years ago
- Exercises for Rust tutorial☆13Oct 27, 2017Updated 8 years ago
- Purely Functional Data Structures☆12Mar 19, 2025Updated 10 months ago
- ADT support for Flink with Shapeless☆12Jan 11, 2020Updated 6 years ago
- LotusJS is a framework for developing HTML5 applications using web components and TypeScript. It uses a functional style and leverages ra…☆11Updated this week
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆11Feb 16, 2021Updated 4 years ago
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- Fortran bindings to the FLANN library for performing fast approximate nearest neighbor searches in high dimensional spaces.☆15Jun 29, 2025Updated 7 months ago
- ☆13Updated this week
- A Playwright library to simplify the integration of Internet Identity authentication in E2E tests.☆12Feb 2, 2026Updated last week
- Slides for my talk at Solid World January 2022☆10Jan 13, 2022Updated 4 years ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- Wikipedia clean-as-hell CSS theme with dark mode☆11Jan 1, 2026Updated last month
- Lossless JSON encoding/decoding package in Go☆18Dec 4, 2018Updated 7 years ago
- Code for reproducing key results in the paper "Improving the Neural GPU Architecture for Algorithm Learning" by Karlis Freivalds, Renars …☆13Jul 4, 2018Updated 7 years ago
- Blazor library to work with Dfinity Internet Computer☆11Feb 14, 2022Updated 4 years ago
- Threshold voting and execution for the IC☆12Jul 1, 2023Updated 2 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- Cytoscape app that clusters a given network based on topology to find densely connected regions☆10Jun 28, 2023Updated 2 years ago
- Creates triples for various entailment regimes of a vocabulary for enabling SPARQL 1.1 Entailment☆18Jan 8, 2024Updated 2 years ago
- Vite Starter template for embedded☆15Jun 26, 2025Updated 7 months ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago