tgrospic / object-algebrasView external linksLinks
Experiments with higher-kinded types and object algebras in C#
☆38Jan 15, 2026Updated last month
Alternatives and similar repositories for object-algebras
Users that are interested in object-algebras are comparing it to the libraries listed below
Sorting:
- sql input/output binding for azure functions☆11Aug 15, 2019Updated 6 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- 输出EF Core生成的SQL语句到控制台。A library outputing EFCore's SQL to the console.☆10Nov 20, 2022Updated 3 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- dotnet tool for checking if there are updates available to NuGet packages installed in C# projects.☆16Nov 24, 2025Updated 2 months ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- Azure Data Studio extension for Azure CosmosDB☆15Jul 8, 2025Updated 7 months ago
- Simple application to full-text searching in file system☆20Oct 11, 2020Updated 5 years ago
- C# Adaptive Radix Tree implementation + Fuzzy String Match stuff + License Plate Index + NGram Index☆39Jan 2, 2021Updated 5 years ago
- ☆38Dec 8, 2022Updated 3 years ago
- .NET Core Proxy library based on HttpClient works with FreeProxyList.net☆20Dec 8, 2022Updated 3 years ago
- Magnolisp, a toy programming language☆19Dec 9, 2023Updated 2 years ago
- A .NET library for building query specifications.☆67Dec 4, 2025Updated 2 months ago
- Benchmark repository of polyglot effect handler examples☆34Aug 21, 2025Updated 5 months ago
- Fody weaver that provides powerful CIL manipulation tools, including C# mixin functionality☆21Mar 8, 2019Updated 6 years ago
- Aspect oriented programming in C#☆22May 24, 2018Updated 7 years ago
- A small WPF library to provide animated status bar operations☆27Apr 16, 2024Updated last year
- DNA/RNA folding in Nim☆21Mar 1, 2018Updated 7 years ago
- A source generator for embedding resource files directly into your assembly. Access them as a `ReadOnlySpan<byte>`, with no allocations o…☆24Aug 6, 2022Updated 3 years ago
- ☆23Sep 30, 2016Updated 9 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Jul 26, 2022Updated 3 years ago
- ☆26Updated this week
- Extensible records for Idris☆25Jun 13, 2021Updated 4 years ago
- A library for .NET that uses source generators to automatically generate data annotations for your models.☆58Apr 12, 2021Updated 4 years ago
- Experiments with sequent calculi☆28Mar 28, 2021Updated 4 years ago
- A replacement for the generic HashSet<T> that is usually faster, has more predictable memory allocations, and uses C# 7.x ref returns and…☆25Apr 24, 2019Updated 6 years ago
- Helps with unit testing LanguageExt code☆26Dec 14, 2025Updated 2 months ago
- A lightweight framework for writing unit tests for Roslyn diagnostic analyzers, code fixes, refactorings and completion providers.☆27Sep 18, 2025Updated 4 months ago
- Copy your files from a source to a destination. For instance you can copy your local files to your OneDrive account or an external disk.☆33Jul 24, 2024Updated last year
- C# version for the The One Billion Row Challenge☆33Mar 17, 2024Updated last year
- An open-source session replay tool for single-page applications that uses AI analysis, aggregated trends, and a RAG chatbot to help devel…☆11Jan 23, 2026Updated 3 weeks ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- Windows C# port of the SQLite library☆33Jan 2, 2014Updated 12 years ago
- Template project for Bow and Arrow series.☆11Jun 12, 2019Updated 6 years ago
- Graph.dll deobfuscated☆16May 15, 2021Updated 4 years ago
- BPE Tokenizer implementations in C# for Anthropic, OpenAI LLM offerings☆14Oct 5, 2023Updated 2 years ago
- 简易封装seslenium工具包☆10Apr 15, 2023Updated 2 years ago