Shared repository for personal idyll posts
☆13Dec 7, 2021Updated 4 years ago
Alternatives and similar repositories for idyll
Users that are interested in idyll are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manage your project with the power of NPM☆10Dec 12, 2016Updated 9 years ago
- Performance evaluation tools for multiclass, multirater classification models☆19Mar 24, 2026Updated 3 weeks ago
- ☆10Jan 19, 2019Updated 7 years ago
- A "git trac" subcommand for git☆13Apr 6, 2022Updated 4 years ago
- Import or partially refresh your Google Sheets from Excel files☆17Mar 18, 2026Updated 3 weeks ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated 2 years ago
- Numerical eigenvalue/eigenfunction software: PyQt GUI and FEniCS finite elements.☆11Mar 25, 2018Updated 8 years ago
- ☆13Aug 29, 2025Updated 7 months ago
- 🦅 VSCode extension for F* with IDE features☆16Mar 21, 2020Updated 6 years ago
- ☆15Oct 21, 2020Updated 5 years ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated last year
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Dec 16, 2019Updated 6 years ago
- ☆10May 2, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The next generation of webapp-i18n, starting in April 2015, that uses git-bigfile to avoid storing large resources.☆15Feb 26, 2021Updated 5 years ago
- Code to accompany "My God, It's Full of Dots"☆11Mar 15, 2020Updated 6 years ago
- ☆14Jan 24, 2023Updated 3 years ago
- Black-swan events in animal populations☆12Mar 22, 2017Updated 9 years ago
- Different and fast approaches to rendering rectangles in your browser☆17Feb 25, 2016Updated 10 years ago
- Sync changes in Paperpile to a Notion database.☆14Aug 30, 2022Updated 3 years ago
- System-wide Lean input method☆12Feb 16, 2022Updated 4 years ago
- Visually describe Haskell/Purescript/Elm types☆106Feb 2, 2018Updated 8 years ago
- ☆25May 23, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Matlab package for circle packing☆19Nov 6, 2023Updated 2 years ago
- Rich visual representation and editor of javascript objects and values.☆20Nov 18, 2016Updated 9 years ago
- ☆17Jan 4, 2021Updated 5 years ago
- An opinionated way to publish Observable (observablehq.com) notebooks.☆20Feb 28, 2023Updated 3 years ago
- Simple JSON Web Tokens (JWT) with embedded scopes for services☆13Apr 25, 2024Updated last year
- Matroids in Lean☆18Dec 23, 2023Updated 2 years ago
- ☆12Oct 4, 2021Updated 4 years ago
- ☆16Dec 9, 2020Updated 5 years ago
- R package for gene selection using k-NN graphs.☆13Jun 12, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Identifying transcription factor binding sites from neural network contribution scores☆18Nov 8, 2025Updated 5 months ago
- Molecular analysis of pre-invasive lung cancer samples☆14Jan 18, 2019Updated 7 years ago
- A JavaScript utility library that abuses `Array.prototype.reduce` and reduces abuse in the world☆17Jun 4, 2021Updated 4 years ago
- ☆25Apr 21, 2021Updated 4 years ago
- Extension to formtastic to make dynamic nested forms easier, using jQuery☆20Feb 9, 2011Updated 15 years ago
- A Symbolic Code Algebra+Calculus system for VS Code☆34Apr 10, 2022Updated 4 years ago
- Repository for signature genes from Immune Cell Atlas☆19Sep 25, 2019Updated 6 years ago