Awesome Open Source

Programming Languages

Search results for types programming language

programming-language x

36 search results found

Programming Language Theory λΠ

Gluon ⭐ 3,022

A static, type inferred and embeddable language written in Rust.

Lamdu ⭐ 1,834

lamdu - towards the next generation IDE

The Lux Programming Language

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Rhine Ml ⭐ 621

🏞 an OCaml compiler for an untyped lisp

Awesome Lisp Languages ⭐ 602

A list of Lisp-flavored programming languages

Pikelet ⭐ 507

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Cone Programming Language

Topshell ⭐ 444

TopShell - a purely functional, reactive scripting language

Datafun ⭐ 328

Research on integrating datalog & lambda calculus via monotonicity types

🐤 A multi-paradigm programming language with gradual and duck typing that targets PHP and JS

Ghost Lang ⭐ 292

👻 A friendly little language for you and me.

Elena Lang ⭐ 219

ELENA is a general-purpose language with late binding. It is multi-paradigm, combining features of functional and object-oriented programming. Rich set of tools are provided to deal with message dispatching : multi-methods, message qualifying, generic message handlers, run-time interfaces

A typed, polyglot, functional language

🔬 a C++ compiler middle-end, using an LLVM backend

Fast C-like programming language with advanced features

A Super Kawaii Dependently Typed Programming Language

Unseemly ⭐ 125

Macros have types!

Algebraic data types for Python (experimental, not actively maintained)

Sesterl ⭐ 122

An ML-inspired statically-typed Erlang

A SuperCompiler for Martin-Löf's Type Theory

Hypertypes ⭐ 104

Hypertypes - generic programming for heterogeneous recursive types

Dachs; A Doggy 🐶 Programming Language

Minitt Rs ⭐ 68

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

Epoch Language ⭐ 68

Home of the Epoch Programming Language Project

Organization and planning for the Initial Types Club

A gradually typed language originally based on the crafting interpreters series

This is yet another attempt to create a good interface to PostgreSQL for the D programming language.

A sum type for the D programming language

Heron Language ⭐ 56

A pure functional type-inferred language based on JavaScript

Generate bindings for Scala types in other programming languages.

Language ⭐ 52

A minimal but powerful programming language based on C, Go and Haskell

Neeilang ⭐ 47

Fast, type-safe, object-oriented language by yours truly

A new programming language for blockchain.

Programming language with no quirks, so simple every child can master it.

A statically-typed strictly-evaluated garbage-collected readable programming language.

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

Star Lang Specification ⭐ 27

Work in progress specs for the Star programming language

Types And Programming Languages ⭐ 27

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

Tapl Sml ⭐ 26

Accompanying code for "Types and Programming Languages", ported to Standard ML

Just another scripting language

Runtime Extended Inference for json data.

Tapl Haskell ⭐ 21

Types and Programming Languages

The uncurried minimal functional programming language for CPS transformation

Bluebird ⭐ 20

A work-in-progess programming language modeled after Ada and C++

Simple and powerful programming language with type inference

A statically-typed compiled language defined by a simple grammar

Zeolite is a statically-typed, general-purpose programming language.

A simple, general-purpose functional programming language

Glóa - a statically typed language that compiles to Lua. *UNDER DEVELOPMENT*

Langauge ⭐ 16

🎨 Stylize your readme files with colorful gauges

Forthscript ⭐ 16

Forthscript programming language interpreter

Nim Dnsprotocol ⭐ 14

Domain Name System (DNS) protocol for Nim programming language

Mint Lang ⭐ 13

A programming language. Compiles to bytecode, useful for games.

Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersection types, and a mix of functional and imperative programming.

Studygroup Tapl ⭐ 13

A Types and Programming Languages Study Group.

General purpose, statically typed, functional programming language

The newt programming language

My own programming language (compiled in Python).

JSON serializer/deserializer for the D programming language

Platy Lang Haskell ⭐ 10

Platy Language Compiler by Haskell & LLVM: Declarative, Statically typed and Simple to implement language

Radical Julia ⭐ 10

Radical ideas for the Julia language.

Types and Programming Languages (TAPL)

Functional Quantum Programming

Statically typed scripting language... syntax errors should be catched at design time!

a programming language with composable refinements and inverse functions inference

Elara is a purely-functional programming language targetting the JVM

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as records, row polymorphisms, derived from ML's concise syntax

Vscode C Snippets ⭐ 7

A simple extension for Visual Studio Code snippets for the C programming language.

Snipscompilergen2 ⭐ 7

A Compiler for the C/Java oriented Programming Language Snips that ouputs ARM Assembly.

👨‍💻 Implementing System T in Haskell 👨‍💻

A General Programming Language

Lambdacalculusinterpreters ⭐ 6

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

Oxid Light ⭐ 6

Prototype functional programming language with refinement types, powered by Inox

Structurally typed functional programming language with anonymous functions, sums, products and unions

Mythology ⭐ 6

A small, simple and type safe programming language

A versatile programming language

A programming language. You should probably look at purescript instead.

An imperative programming language written in Rust

A dependently typed programming language prototype

A simple imperative programming language inspired by ideas in functional programming languages

Intro To Golang ⭐ 5

Repository for HackBU Demo on Go - Covers topics ranging from basics of types/variables/loops in the language, up to simple examples on Go-Routines and Channels

Extol Programming Language

Related Searches

Javascript Types (8,178)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

Plugin Types (1,152)

Json Types (1,128)

1-36 of 36 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.