☆22Oct 10, 2021Updated 4 years ago
Alternatives and similar repositories for linkbrary
Users that are interested in linkbrary are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Oct 10, 2021Updated 4 years ago
- A code generator for C++ projects.☆24Oct 10, 2021Updated 4 years ago
- Desktop application for checking sites connection in a background mode☆27Oct 10, 2021Updated 4 years ago
- An avatar generator that uses genetic algorithm output as its pattern and PyQt 6, Vispy for GUI☆16Feb 15, 2022Updated 4 years ago
- Web application for real-time file transfer using WebRTC☆46Apr 1, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆14Oct 10, 2021Updated 4 years ago
- README file with project's description☆20Nov 17, 2021Updated 4 years ago
- ROS-based SLAM and trajectory planning for AgileX Scout Mini Robot☆18Jul 29, 2024Updated last year
- Bot for SSAD course project☆16Aug 27, 2022Updated 3 years ago
- ROS Software for AgileX Scout Mini Navigation☆16Sep 11, 2023Updated 2 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated last year
- Trait-agnostic derive macros☆28Feb 13, 2025Updated last year
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Purescript ffi for the lazy joe 🦥☆15Jun 19, 2022Updated 3 years ago
- Lattice // Salt // Facet☆73Mar 2, 2026Updated 3 weeks ago
- Russian language Learning app☆19Oct 10, 2021Updated 4 years ago
- Innopolis University courses archive☆48Nov 27, 2023Updated 2 years ago
- Open-sourcing my Bachelor and Master coursework☆17May 25, 2025Updated 10 months ago
- GitHub Action to build, test, and lint Stack-based Haskell projects☆22Mar 15, 2026Updated 2 weeks ago
- Setting up a Haskell development environment with Nix☆20Sep 16, 2020Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Android app for timing debate speeches that rings bells automatically.☆22Jun 18, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Deploying your application with NixOS☆29Oct 7, 2020Updated 5 years ago
- ☆39Jun 18, 2025Updated 9 months ago
- HTML to PureScript converter.☆30Aug 30, 2022Updated 3 years ago
- VSCode and OpenVSX extensions for Nix☆32Jan 15, 2023Updated 3 years ago
- Геометрия по Киселёву☆29Feb 19, 2026Updated last month
- A monad for managed values☆51Nov 18, 2025Updated 4 months ago
- Test interactive Haskell examples☆34Mar 4, 2026Updated 3 weeks ago
- Bi-directional JSON codecs for argonaut☆37Oct 13, 2025Updated 5 months ago
- Generate a derivation of (old) Spago dependencies, and use them to install them into the directory structure used by Spago.☆43Jun 17, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- This is a program that uses computer vision techniques to solve jigsaw puzzles using the shapes of the edges.☆35Feb 27, 2021Updated 5 years ago
- Table of contents for mdbook (in sidebar)☆48Nov 27, 2025Updated 4 months ago
- A bunch of examples that show how to do stuff using Haskell's Servant web framework☆43Apr 26, 2021Updated 4 years ago
- The PureScript Package Manager in Nix☆59Jan 2, 2025Updated last year
- The contents of ocharles.org.uk/blog☆66Jun 23, 2022Updated 3 years ago
- PureScript core tools in Nix☆64Mar 15, 2026Updated 2 weeks ago
- Set breakpoints using a GHC plugin☆49Jan 12, 2026Updated 2 months ago