Projects in Awesome Lists tagged with polymorphic-types
A curated list of projects in awesome lists tagged with polymorphic-types .
https://github.com/thma/WhyHaskellMatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes
Last synced: 30 Apr 2025
https://github.com/thma/whyhaskellmatters
In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.
algebraic-data-types anonymous-functions declarative-programming explicit-side-effects first-class-functions foldable folding function-composition functional-programming functor haskell higher-order-functions lazy-evaluation list-comprehension mapping monads partial-application pattern-matching polymorphic-types type-classes
Last synced: 05 Apr 2025
https://github.com/apaz-cli/daisho
A high level programming language which compiles to C.
c compiler experimental-language polymorphic-types programming-language
Last synced: 25 Mar 2025
https://github.com/josuto/monguito
Lightweight MongoDB Abstract Repository implementation for Node.js apps
abstract-repository custom-repository generic-repository generic-repository-pattern generic-repository-pattern-mongodb mongo-db mongodb mongoose-js nestjs nodejs polymorphic-types repository-pattern typescript
Last synced: 03 Jan 2025
https://github.com/Josuto/monguito
Lightweight MongoDB Abstract Repository implementation for Node.js apps
abstract-repository custom-repository generic-repository generic-repository-pattern generic-repository-pattern-mongodb mongo-db mongodb mongoose-js nestjs nodejs polymorphic-types repository-pattern typescript
Last synced: 18 Apr 2025
https://github.com/hoangsonww/inheritance-in-java
📚 This repository features the power and applications of inheritance, encapsulation, and interfaces in Java. It includes examples of how to efficiently manage and organize objects, leveraging inheritance for code reusability and interfaces for implementing polymorphism.
inheritance interface interface-java java object-oriented-programming oop oop-principles oops-in-java polymorphic polymorphic-relationships polymorphic-types polymorphism types
Last synced: 11 Jun 2025
https://github.com/kyegomez/poly
A Fluid, PolyMorphic,and shapeless Types Package that activates radically flexiblity and simplicity in your programs
artif dynamic-programming dynamic-types polymorphic polymorphic-types python types
Last synced: 07 May 2025
https://github.com/aviationexam/json-converter-source-generator
Source generated polymorphic JSON converters
csharp-sourcegenerator dotnet enum-serialization json polymorphic-types system-text-json
Last synced: 17 Apr 2025
https://github.com/kevinricar24/poo-csharp
repository with some examples about the poo with C# language
abstract array-methods arrays best-practices csharp encapsulation inheritance interface object-oriented-programming polymorphic-types polymorphism poo programming-fundamentals programming-language struct
Last synced: 02 Mar 2025
https://github.com/gfngfn/poly-shift-reset
An implementation of λ_{let}^{s/r} [Asai & Kameyama 2007]
continuation delimited-continuation ocaml polymorphic-types type-checker type-system
Last synced: 05 Mar 2025
https://github.com/yiyunliu/system-f-omega
Strong normalization and parametricity for System Fω in Coq
coq denotational-semantics impredicative-types lambda-calculus polymorphic-types type-theory
Last synced: 10 Feb 2025
https://github.com/styczynski/poly-var-cpp
Just-for-fun implementation of polymorphic variables in C/C++
c-plus-plus cpp library polymorphic polymorphic-types variables-and-their-usages
Last synced: 05 Mar 2025
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/gustavewpm/deepl-driver
[EXPERIMENTAL] DeepL Driver designed to do the fewer API Calls as possible. Compatible with string arrays inputs, string inputs, and Record<string, string> inputs. Backend & Frontend compatible.
api backend configurable cors-proxy deepl driver dynamic-programming dynamic-programming-algorithm experimental frontend polymorphic polymorphic-types polymorphism typesafe typescript wip
Last synced: 11 Mar 2025
https://github.com/aimenux/swaggerpolymorphismdemo
Using various ways to handle polymorphic object types in swagger documentation
net90 polymorphic-types swagger webapi
Last synced: 17 Mar 2025
https://github.com/ayhamratrout/price_calculator_kata
This repository contains my implementation of a Price Calculator that a store owner might use to calculate taxes, discount amounts, print reports, assign tax/discount precedence, and much more. After the completion of each task of the 10 tasks for this project, the project is tested for functionality and the XUnit tests are included in this project's repository.
backend backend-development cqs csharp extension-methods interface-design interfaces linq linq-methods oop oop-principles polymorphic-relationships polymorphic-types polymorphism refactoring solid solid-principles visual-studio-code xunit-tests
Last synced: 03 Mar 2025
https://github.com/aimenux/jsonpolymorphicdemo
Serialization and deserialization of polymorphic types
net80 polymorphic-types system-text-json
Last synced: 27 Feb 2025