briko-org / BrikoCorpusView external linksLinks
☆26Dec 29, 2020Updated 5 years ago
Alternatives and similar repositories for BrikoCorpus
Users that are interested in BrikoCorpus are comparing it to the libraries listed below
Sorting:
- GitHub issues as a blog with comment feature, place to publish and/or relay contents, and open discussion forum.☆15Jun 26, 2020Updated 5 years ago
- A simple contract for migrating from an old ERC20 token to a new ERC20 token.☆38Jan 23, 2022Updated 4 years ago
- ☆13Jul 8, 2024Updated last year
- 认知敏捷工作法（Cognitive Agile Methodology）- 规约驱动开发工具☆25Dec 4, 2025Updated 2 months ago
- ☆11Sep 15, 2025Updated 4 months ago
- Non-intrusive invitation to rate your iOS app☆22Feb 22, 2024Updated last year
- A powerful Rust SDK for real-time listening and parsing Fourmeme contract events on BSC, with automatic tracking of token lifecycle from …☆52Oct 9, 2025Updated 4 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- easily-table☆11Feb 19, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Jan 17, 2026Updated 3 weeks ago
- Quicklook plugin for .gradle files☆12Feb 14, 2015Updated 11 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- ☆14Oct 8, 2025Updated 4 months ago
- Capture and replay execution traces of client-side web applications☆28May 31, 2013Updated 12 years ago
- A simple text based AI to execute commands using NLP☆12Apr 14, 2017Updated 8 years ago
- Cegpy (/segpaɪ/) is a Python package for working with Chain Event Graphs. It supports learning the graphical structure of a Chain Event G…☆12Aug 9, 2025Updated 6 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- SSL certificate chain resolver☆11May 2, 2016Updated 9 years ago
- Circuit playground for learning Zero-Knowledge Proofs in circom.☆11Feb 7, 2024Updated 2 years ago
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- Companion repository to "Prompt Compression and Contrastive Conditioning for Controllability and Toxicity Reduction in Language Models"☆14May 31, 2023Updated 2 years ago
- Developer resources to learn more about Seaport☆10Mar 12, 2023Updated 2 years ago
- natural language processing with link-grammar☆18Sep 30, 2009Updated 16 years ago
- Building a iOS Application using Apple's Core ML Framework, we will builed a Linear SVC model using sklearn library on the SMS Data, user…☆11Jun 14, 2018Updated 7 years ago
- L2 bridging for ENS with onchain guarantees.☆11Feb 19, 2024Updated last year
- V2EX APIs - powered by Egg(Node.js 7.6.0+) docs//indexxuan.github.io/v2ex-api-bridge/api/index.html☆11Apr 2, 2017Updated 8 years ago
- Lean coding problem solving challenge website with proof verification☆12Jul 8, 2025Updated 7 months ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- A sentiment analysis project performed on data collected from Twitter mentioning the two primary contestants in the 2020 US Elections.☆11Nov 1, 2020Updated 5 years ago
- Exploring item combinations with a bar chart☆10Apr 17, 2021Updated 4 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- This project aims at adjusting the VideoPose3D project from Dario Pavllo, in order to track the trajectories of multiple people and predi…☆10Mar 28, 2021Updated 4 years ago
- ☆13Jul 19, 2025Updated 6 months ago
- Hammerspoon plugin to use the keyboard as a mouse by selecting successively smaller grids on the screen☆10Aug 17, 2019Updated 6 years ago
- AI-Powered Command-Line Photo Tagging Tool☆12Apr 13, 2024Updated last year
- Speaker Role Contextual Model for Dialogues☆15Sep 30, 2017Updated 8 years ago
- Counterpoint by convolution☆14Mar 23, 2018Updated 7 years ago
- Solana marketplace contracts for listing and bidding on core assets on Soundwork☆11Sep 3, 2024Updated last year