manifold-systems/manifold

Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.

Language: Java - Size: 124 MB - Last synced at: 7 days ago - Pushed at: 11 days ago - Stars: 2,536 - Forks: 127

AaronC81/sorbet_duck

Statically-checked duck typing (structural typing) for Sorbet. Quack!

Language: Ruby - Size: 9.77 KB - Last synced at: 6 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

adam-mcdaniel/sage

A programming language that's wise beyond its bytes!🌱🌿🪴

Language: Rust - Size: 85.8 MB - Last synced at: 5 days ago - Pushed at: 2 months ago - Stars: 507 - Forks: 17

dflemstr/tin

A statically structurally typed JIT-compiled programming language, mainly for embedding in other programs.

Language: Rust - Size: 474 KB - Last synced at: 6 days ago - Pushed at: almost 6 years ago - Stars: 64 - Forks: 2

kesh-lang/kesh

A simple little programming language that could one day compile to JavaScript.

Language: JavaScript - Size: 463 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 22 - Forks: 0

ntwiles/nala

A general-purpose interpreted programming language implemented in Rust.

Language: Rust - Size: 966 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

sColin16/set-typed-lambda-calculus

A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

Language: OCaml - Size: 195 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

sColin16/structured-lambda

A structurally-typed lambda calculus that serves as a basis for structurally-typed functional languages

Language: OCaml - Size: 237 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

goretkin/FixArgs.jl

Language: Julia - Size: 432 KB - Last synced at: 28 days ago - Pushed at: about 2 years ago - Stars: 19 - Forks: 3

owaismohsin001/junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

Language: Haskell - Size: 1.68 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

arnobl/structural-typing-examples

Examples in various programming languages about how structural typing is supported

Language: Eiffel - Size: 55.7 KB - Last synced at: 2 months ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 8