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: 123 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 2,527 - Forks: 127

adam-mcdaniel/sage

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

Language: Rust - Size: 85.8 MB - Last synced at: 19 days ago - Pushed at: about 2 months ago - Stars: 502 - 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: 14 days ago - Pushed at: over 5 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: 4 months ago - Pushed at: 4 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: 7 months ago - Pushed at: 7 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: 5 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 1 month 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: about 1 month ago - Pushed at: over 6 years ago - Stars: 20 - Forks: 8

AaronC81/sorbet_duck

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

Language: Ruby - Size: 9.77 KB - Last synced at: about 23 hours ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 1