Fiscal financed public projects and or relevant for the citizen
☆31May 26, 2024Updated last year
Alternatives and similar repositories for awesome-germany
Users that are interested in awesome-germany are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formal verification tool based on predicate calculus and supporting several programming languages☆40Aug 23, 2025Updated 8 months ago
- ☆13Jun 10, 2021Updated 4 years ago
- A deterministic, reflection‑free serialization and RPC platform for F#. Powered by Serde‑style source generation for .NET and (soon) Fabl…☆31Updated this week
- ☆12Feb 4, 2024Updated 2 years ago
- Package to create Aspire App Hosts in F#☆44Mar 5, 2026Updated 2 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆16Nov 16, 2024Updated last year
- The iOS repository of Pera☆11May 8, 2026Updated last week
- Golang bindings for https://github.com/valeriansaliou/sonic☆23Dec 5, 2025Updated 5 months ago
- The Gödelian Toolkit: Systematically Testing Simple Languages☆16Aug 6, 2025Updated 9 months ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆34Nov 27, 2025Updated 5 months ago
- ☆10Apr 19, 2026Updated last month
- A GNOME extension for a more efficient keyboard driven navigation.☆17Sep 22, 2025Updated 7 months ago
- LLVM Version Manager☆11Apr 21, 2017Updated 9 years ago
- Print out the type encoding for properties in a Swift class☆12May 16, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Abstract Syntax Tree (AST) Domain Specific Language (DSL) for F#☆66Feb 14, 2026Updated 3 months ago
- An SMTP client & server library written in Go☆22Nov 9, 2023Updated 2 years ago
- small wiki engine based on static reST files and git for versionning☆25Oct 26, 2015Updated 10 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆11Apr 23, 2026Updated 3 weeks ago
- Getting some f# into google cloud functions☆10Feb 9, 2017Updated 9 years ago
- ☆24Updated this week
- ☆15Aug 17, 2023Updated 2 years ago
- A compiler and mutation testing framework for the programming language Pascal-86☆20Sep 12, 2014Updated 11 years ago
- Recursive description for UIViewController hierarchy inspection and debugging☆21May 15, 2015Updated 11 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Demonstrate the new FileDispositionInfoEx behavior☆15Nov 6, 2017Updated 8 years ago
- Visual Studio templates for creating DNX projects with F#.☆10Apr 5, 2016Updated 10 years ago
- VTable Hijacking Protection for Binaries☆12Feb 28, 2017Updated 9 years ago
- An OS X kernel module that protects a userland process from being terminated in any way☆14Dec 7, 2015Updated 10 years ago
- A Fable React hook library for validating UI inputs and displaying error messages☆16Feb 13, 2025Updated last year
- ☆10Jul 30, 2021Updated 4 years ago
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Nov 13, 2018Updated 7 years ago
- ☆10Jul 16, 2023Updated 2 years ago
- A Fable wrapper around nadbm/react-datasheet for creating Excel-like tables☆11Aug 14, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A mirror of the official libtasn1 repository☆16Feb 23, 2023Updated 3 years ago
- Functional Dependency Injection for FSharp☆10Dec 12, 2020Updated 5 years ago
- Personal finance functions written in F#☆25Apr 29, 2026Updated 2 weeks ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 8 years ago
- Command line tool and F# library for generating hillshading from SRTM digital elevation model☆11Jun 2, 2025Updated 11 months ago
- ☆10Oct 19, 2022Updated 3 years ago
- Mutation testing for Rust☆13Jun 20, 2016Updated 9 years ago