A Gradually Typed Functional Programming Language with Bounded Quantification
-
Updated
Mar 7, 2017 - Haskell
A Gradually Typed Functional Programming Language with Bounded Quantification
The Combination of Dynamic and Static Typing from a Categorical Perspective
Seamlessly encode and decode python objects to json while maintaining their types.
A simple little programming language developed with C++
Quiz app, Displays 10 questions on each run with right/wrong options.
IterkoczeScript is an cross-platform, interpreted, dynamically typed programming language slower than Python
Experimental language for asynchronous programming
a minimalist, sandboxed scripting language
Divine is a compiled, dynamically typed programming language for creating graphical user interfaces.
Dynamic typing - from "How Computers Really Work" book, by Matthew Justice
Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS
Scripts implemented for my Master's Degree thesis work
A dynamic environment for dependency injection.
A toy dynamic programming language, Awesome, following ideas of Marc-André Cournoyer.
GRI - An interpreter for a language suitable for graph algorithms
A simple & versatile high-level programming language! THIS IS AN (OFFICIAL) MIRROR, GO HERE FOR SOURCE: https://codeberg.org/Horse64/core.horse64.org
Astral is a scripting language designed for my own game engine, but is not limited to just that
Add a description, image, and links to the dynamic-typing topic page so that developers can more easily learn about it.
To associate your repository with the dynamic-typing topic, visit your repo's landing page and select "manage topics."