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: 121 MB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 2,238 - Forks: 121

adam-mcdaniel/sage

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

Language: Rust - Size: 28.3 MB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 259 - Forks: 7

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: about 1 month ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

dflemstr/tin

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

Language: Rust - Size: 474 KB - Last synced: 28 days ago - Pushed: over 4 years ago - Stars: 63 - Forks: 2

ntwiles/nala

A general-purpose interpreted programming language implemented in Rust.

Language: Rust - Size: 903 KB - Last synced: 2 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

kesh-lang/kesh

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

Language: JavaScript - Size: 451 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 19 - 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: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

goretkin/FixArgs.jl

Language: Julia - Size: 432 KB - Last synced: 7 days ago - Pushed: about 1 year ago - Stars: 19 - Forks: 3

zaidharoon001/junu-spaghetti

Junu Spaghetti, a language that types spaghetti code

Language: Haskell - Size: 1.68 MB - Last synced: about 1 month ago - Pushed: over 2 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: about 1 month ago - Pushed: over 5 years ago - Stars: 20 - Forks: 5

AaronC81/sorbet_duck

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

Language: Ruby - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 1