Did someone say types?
☆13Sep 5, 2016Updated 9 years ago
Alternatives and similar repositories for types
Users that are interested in types are comparing it to the libraries listed below
Sorting:
- Content about my talks in events☆13Oct 27, 2015Updated 10 years ago
- A fully complete and functional exception handling library written in ANSI/ISO C.☆31Sep 24, 2011Updated 14 years ago
- Demo code used at the BC .NET User Group Meeting 2020☆11Nov 19, 2020Updated 5 years ago
- Finance Wallet API☆11Jan 10, 2022Updated 4 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Apr 4, 2018Updated 7 years ago
- ☆16Aug 22, 2025Updated 6 months ago
- Slides and code sample for "Get Comfortable with .NET Core and the CLI" (using .NET Core 3.0)☆16Jun 23, 2022Updated 3 years ago
- PORRA, OUTRO FRAMEWORK!☆11Apr 6, 2017Updated 8 years ago
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 5 years ago
- Sublime plugin for AdvPL syntax highlighting☆16Mar 12, 2015Updated 10 years ago
- Jane Street Capital's standard library overlay☆37Jan 15, 2026Updated last month
- sometimes math is just too much fun☆22Jun 25, 2015Updated 10 years ago
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆49Apr 4, 2018Updated 7 years ago
- AngularJS-based UI for my Pluralsight course on Functional Architecture with F#☆23Mar 16, 2014Updated 11 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Aug 4, 2017Updated 8 years ago
- Proposal for implementation of the pipeline operator on PHP 7☆23Sep 6, 2017Updated 8 years ago
- readline text edit for urwid☆28May 7, 2025Updated 9 months ago
- Thoughts and stuff☆72Apr 30, 2020Updated 5 years ago
- A demo deployment of ReasonML and Apollo GraphQL using Docker☆41Jan 23, 2018Updated 8 years ago
- Formalizations of strong normalization proofs☆35Jul 8, 2019Updated 6 years ago
- First concise implementation of partial function application in PHP☆31Nov 9, 2015Updated 10 years ago
- Fast parallel file size scanner☆35Feb 8, 2024Updated 2 years ago
- ☆33Apr 22, 2018Updated 7 years ago
- Use the Edge Diagnostics CLI to identify, analyze, and troubleshoot common content delivery network issues that your users may encounter.☆14Oct 12, 2022Updated 3 years ago
- GTA V fivem rp server for rd2l☆10Oct 25, 2019Updated 6 years ago
- HTML::Tidy is no longer being maintained. Please see the new project https://github.com/petdance/html-tidy5☆31Oct 2, 2018Updated 7 years ago
- [status: superseded by Purr] Sirën is an experimental context-based programming language with ad hoc multiple hierarchies, and multimetho…☆128Jan 14, 2017Updated 9 years ago
- ☆37Nov 16, 2021Updated 4 years ago
- .NET Library to drive the awesome PDFtk binary.☆41Feb 18, 2025Updated last year
- Generation of S-expression conversion functions from type definitions☆94Jan 15, 2026Updated last month
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- Pragma is a self-hosted, open-source, personal note taking app.☆42Feb 3, 2020Updated 6 years ago
- Set of python scripts to interact with the Dynatrace APIs and export security related in different formats.☆10Jan 14, 2026Updated last month
- Luizalabs' product/people management app☆13Aug 9, 2018Updated 7 years ago
- C# implementation of Peter Norvig’s spelling corrector☆10Feb 24, 2023Updated 3 years ago
- ☆11Jan 17, 2016Updated 10 years ago
- A project built in .NET and Angular with angular where good programming practices are applied.☆14Oct 16, 2023Updated 2 years ago
- MonoDevelop☆16Jan 4, 2012Updated 14 years ago
- Home Assistant custom integration for pharmacy drug stock management☆19Jul 2, 2025Updated 8 months ago