☆23Feb 18, 2024Updated 2 years ago
Alternatives and similar repositories for awesome-math-notes
Users that are interested in awesome-math-notes are comparing it to the libraries listed below
Sorting:
- An SMT solver frontend for OCaml☆68Updated this week
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆89Feb 17, 2026Updated 2 weeks ago
- Awesome links for WebSharper☆107Jan 9, 2021Updated 5 years ago
- ☆171Jan 2, 2024Updated 2 years ago
- SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.☆256Feb 24, 2026Updated last week
- F# Template for creating and publishing libraries targeting library or console apps.☆274Updated this week
- A progress ring for Avalonia -- based on ModernWPF's ProgressRing.☆279Feb 21, 2026Updated last week
- dotnet CLI template for SAFE project☆289Nov 15, 2025Updated 3 months ago
- 🔥 Supercharge your Avalonia development experience with hot reload capabilities☆444Feb 2, 2026Updated last month
- Шапка треда, посвященного курсам Фоксфорда и не только.☆386Sep 22, 2019Updated 6 years ago
- Pan and zoom control for Avalonia.☆459Jan 11, 2026Updated last month
- Messagebox for AvaloniaUI☆573Dec 21, 2025Updated 2 months ago
- WebSharper - Full-stack, functional, reactive web apps and microservices in F# and C#☆629Updated this week
- A Library with a lot of Controls for AvaloniaUI☆703Dec 18, 2024Updated last year
- FSharp source code formatter☆820Updated this week
- Elm-like abstractions for F# apps☆885Jan 2, 2026Updated 2 months ago
- Develop cross-plattform GUI Applications using F# and Avalonia!☆1,192Feb 23, 2026Updated last week
- A docking layout system.☆1,366Updated this week
- Declarative UI framework for cross-platform mobile & desktop apps, using MVU and F# functional programming☆1,254Nov 14, 2025Updated 3 months ago
- AvitoTech team playbook☆2,846Feb 20, 2026Updated last week
- F# to JavaScript, TypeScript, Python, Rust and Dart Compiler☆3,061Updated this week
- A collection of out-of-tree LLVM passes for teaching and learning☆3,359Jan 1, 2026Updated 2 months ago
- Get your data in RAM. Get compute close to data. Enjoy the performance.☆3,621Updated this week
- Cross platform GUI framework for desktop and mobile applications in .NET☆3,894Feb 20, 2026Updated last week
- Simple and fast anti-censorship tool written in Go☆4,442Jan 16, 2026Updated last month
- GreenTunnel is an anti-censorship utility designed to bypass the DPI system that is put in place by various ISPs to block access to certa…☆4,718Oct 29, 2024Updated last year
- EDK II☆5,809Updated this week
- The Universal Filesystem Abstraction for Go☆6,580Jan 13, 2026Updated last month
- Тестовые задания для самостоятельного выполнения от разных it компаний☆6,735Feb 20, 2026Updated last week
- A mock code autogenerator for Go☆7,007Feb 24, 2026Updated last week
- 🚤 Cross-platform, unofficial CLI for Cloudflare Warp☆7,826Feb 23, 2026Updated last week
- Generate Go client and server boilerplate from OpenAPI 3 specifications☆8,114Updated this week
- A tool that facilitates building OCI images.☆8,633Updated this week
- Amnezia VPN Client (Desktop+Mobile)☆10,280Updated this week
- The property-based testing library for Python☆8,463Feb 22, 2026Updated last week
- A powerful and user-friendly binary analysis platform!☆8,517Updated this week
- A curated selection of blog posts on Go☆8,045Nov 25, 2025Updated 3 months ago
- A toolkit for developing high-performance HTTP reverse proxy applications.☆9,432Feb 23, 2026Updated last week
- An alternative frontend for YouTube, for Android.☆11,472Updated this week