DCR js editor
☆11Oct 21, 2026Updated last week
Alternatives and similar repositories for dcr-js
Users that are interested in dcr-js are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated last week
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Jul 29, 2026Updated 3 months ago
- ArangoDB driver module for NestJS☆17Feb 23, 2025Updated last year
- The Bloomberg Terminal for Prediction Markets☆14Oct 25, 2026Updated last week
- My own FreeCAD models repository☆11Jan 21, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆16Mar 27, 2024Updated 2 years ago
- Guide for DDS communication between ROS2 and Labview 2018++☆14Aug 14, 2020Updated 6 years ago
- Integration of ROS2 for Mitsubishi 6DOF robots, supporting Melfa RV-FR Series☆13Feb 6, 2025Updated last year
- A Script that configures all the Google Cloud Permissions and deploys your golang application to Google Cloud Run☆26Jun 24, 2024Updated 2 years ago
- 🥑 Database migration tools and CLI for ArangoDB. Apply migrations in a transaction-safe manner with optional before/after hooks and dry-…☆19Updated this week
- A complete ELECTRA-based framework for Big Five personality trait recognition, featuring data augmentation, single-trait model training, …☆17Apr 23, 2026Updated 6 months ago
- Modular SRAM-based indirectly-indexed 2D hierarchical-search Binary Content Addressable Memory (II-2D-BCAM)☆17Nov 10, 2024Updated last year
- Formal Verification of Top Single Layer Encoding☆11Dec 6, 2025Updated 10 months ago
- An easy to use, higher abstraction socket class for usage in C++.☆17Jul 27, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [ECCV24] Layer-Wise Relevance Propagation with Conservation Property for ResNet☆16Sep 20, 2024Updated 2 years ago
- a protocol to poll social-media users unobtrusively and inexpensively using multimodal Large Language Models (LLMs)☆13Apr 8, 2026Updated 6 months ago
- Data Science and Political Campaigns Course at Yale☆15Nov 6, 2025Updated 11 months ago
- Alternative note-taking app for Onyx Boox e-ink devices. Fork of Ethran/notable.☆14Mar 16, 2026Updated 7 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆14Mar 8, 2025Updated last year
- ROS 2 labs at Centrale Nantes, with Baxter robot☆19Jan 9, 2026Updated 9 months ago
- Real time locally hosted OSINT dashboard to watch over the world that connects directly to your @openclaw agent.☆17Mar 2, 2026Updated 7 months ago
- software for political campaigns☆17Jul 10, 2010Updated 16 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 5 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Jul 8, 2024Updated 2 years ago
- A live multiplayer trivia game where users can bid for the subject of the next question☆29Jan 9, 2026Updated 9 months ago
- A website that hosts mods/scenarios for the browser based game 'The Campaign Trail' with extra features!☆28Updated this week
- Symbolic and Automatic Differentiation of Languages in Lean☆10May 9, 2025Updated last year
- ☆11Feb 17, 2025Updated last year
- A simple command-line bibtex query utility written in Lean 4☆11Updated this week
- Small header-only C++ library for STL mesh files.☆22Feb 4, 2023Updated 3 years ago
- Draw SLDNF trees in LaTeX☆10May 7, 2025Updated last year
- Lean 4 library for polynomial functors, interaction trees, and frameworks for modeling interactive and effectful protocols☆18Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An implementation of the ASPIC+ framework for structured argumentation.☆14Updated this week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated last year
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆27Sep 16, 2026Updated last month
- ☆12Feb 15, 2024Updated 2 years ago
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- ☆17Jun 22, 2024Updated 2 years ago
- Verified Lean typechecker☆16Updated this week