parametric-polymorphism

Here are 13 public repositories matching this topic...

felix-lang / felix

Star

The Felix Programming Language

programming-language c-plus-plus programming code-generator compiler functional-programming static-analysis ocaml coroutines scripting-language compiled polymorphism platform-independent performant coroutine-framework type-classes parametric-polymorphism

Updated May 21, 2021
C

seagreen / plate

Star

Principled schema system for JSON. Work in progress.

schema algebraic-data-types parametric-polymorphism

Updated Jan 30, 2020
Haskell

kongware / ftor

Star

ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.

javascript functional-programming tuples composition immutability recursion higher-order-functions polymorphism currying type-system lazy-evaluation hindley-milner purity sum-types unification combinators parametric-polymorphism tagged-unions scott-encoding row-polymorphism

Updated Mar 9, 2018
JavaScript

PetarMihalj / AGT

Star

A novel, compiled programming language with a strong and static type system, parametric polymorphism and other features, developed as my master thesis.

programming-language compilers static-typing parametric-polymorphism

Updated Jul 7, 2021
Python

Hirevo / koak

Star

A compiler for a little statically-typed language implemented in Haskell.

programming-language compiler llvm type-inference parametric-polymorphism

Updated Apr 12, 2019
Haskell

JakubGrobelny / aurox-lang

Star

Interpreter written for Prolog course.

interpreter parsing cpp functional-programming prolog university-project ml transpiler toy-language programming-languages compilers dcg logic-programming statically-typed parametric-polymorphism logical-programming

Updated Feb 18, 2020
Prolog

athanclark / pred-trie

Star

predicative lookup container

haskell trie lookup predicates parametric-polymorphism

Updated Nov 20, 2018
Haskell

d-plaindoux / rust-traits

Star

[Talk] Programmation par Traits sous l'influence de la gestion mémoire

rust memory trait talk ad-hoc parametric-polymorphism

Updated Mar 23, 2019
Rust

kasparthommen / java-code-gen

Star

Annotation-based Java code generation

java template template-engine annotation generic annotation-processor generics primitives code-generation instantiation parametric-polymorphism concrete-types reification

Updated Jul 4, 2021
Java

israel-lugo / tsarray

Star

Generic type-safe dynamic array library for C

c library array macros type-safety dynamic-array generic-types parametric-polymorphism generic-array

Updated Apr 28, 2018
C

dlepex / typeinst

Star

Generics for Go. A code generator, that uses struct declarations as DSL to configure what types should be created

go golang templates generics go-generate codegenerator parametric-polymorphism

Updated Jul 29, 2019
Go

profbrandon / typeChecker

Star

A repository dedicated to the derivation and implementation of type systems. Current system: Extended System F

typechecker checker pattern-matching type-system system-f parametric-polymorphism universal-quantifiers simply-typed-lambda-calculus

Updated Aug 5, 2017
Haskell

ameerwasi001 / junu-spaghetti

Star

Junu Spaghetti, a language that types spaghetti code

programming-language union-types structural-typing static-typing spaghetti-code parametric-polymorphism bidirectional-typechecking ad-hoc-polymorphism

Updated Jul 24, 2021
Haskell

Improve this page

Add a description, image, and links to the parametric-polymorphism topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the parametric-polymorphism topic, visit your repo's landing page and select "manage topics."

Learn more

Aug	JUL	Jan
	25
2020	2021	2023