Awesome Open Source

Programming Languages

Search results for types language

88 search results found

Language Ext ⭐ 6,022

C# functional language extensions - a base class library for functional programming

Programming Language Theory λΠ

Gluon ⭐ 3,022

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

Idris2 ⭐ 2,320

A purely functional programming language with first class types

Nickel ⭐ 1,975

Better configuration for less

Transit Format ⭐ 1,817

A data interchange format.

The Lux Programming Language

An experimental language which adds functional programming features to Go.

Pywat ⭐ 1,132

Elchemy ⭐ 1,016

Write Elixir code using statically-typed Elm-like syntax (compatible with Elm tooling)

Idris2 Boot ⭐ 944

A dependently typed programming language, a successor to Idris

Swift Html ⭐ 659

🗺 A Swift DSL for type-safe, extensible, and transformable HTML documents.

Awesome Lisp Languages ⭐ 602

A list of Lisp-flavored programming languages

Blodwen ⭐ 562

A prototype successor to Idris

Pikelet ⭐ 507

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

Bolt is a language with in-built data-race freedom!

Psychec ⭐ 486

A compiler frontend for the C programming language

Pokemon ⭐ 468

Get Pokémon names

Cone Programming Language

⚜︎ A language that compiles to WebAssembly

Elm Language Server ⭐ 400

Language server implementation for Elm

Compiler ⭐ 383

Elm compiler written in Elm

Typedefs ⭐ 343

Programming language agnostic type construction language based on polynomials.

Linear Base ⭐ 319

Standard library for linear types in Haskell.

Kocircuit ⭐ 308

Ko: A generic type-safe language for concurrent, stateful, deadlock-free systems and protocol manipulations

🐤 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.

A pure functional language for type-level programming in Rust

Lsp Types ⭐ 267

Types for communicating with a language server

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

A type safe, compiled language inspired by (and written in) Swift

Airtight ⭐ 238

a python-like language with hindley-milner-like type system, which is compiled to c

A high-level language for Rust

Elm Language Client Vscode ⭐ 227

Improving your Elm experience since 2019

Coc Jedi ⭐ 222

coc.nvim wrapper for https://github.com/pappasam/jedi-language-server

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

Vue Highlight.js ⭐ 177

📜 Highlight.js syntax highlighter component for Vue.

Persimmon ⭐ 168

A visual dataflow programming language for sklearn

Go 1 2 Proposal Immutability ⭐ 163

A a Go 1/2 language feature proposal to immutability

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

Eval is a lightweight interpreter framework written in Swift, evaluating expressions at runtime

Fast C-like programming language with advanced features

Awesome Dhall ⭐ 131

A curated list of awesome dhall-lang

A Super Kawaii Dependently Typed Programming Language

Unseemly ⭐ 125

Macros have types!

Caledon ⭐ 121

higher order dependently typed logic programing

Metaresc ⭐ 118

META data and RESource library for C language

A tool-agnostic formal specification language for OCaml.

Json Typedef Codegen ⭐ 106

A CLI tool that generates code from JSON Typedef schemas

Cat Language ⭐ 103

Cat - a statically typed functional stack-based programming language

Language Detector ⭐ 96

A fast and reliable PHP library for detecting languages

Miniagda ⭐ 91

A prototypical dependently typed languages with sized types and variances

The Ntha Programming Language

LLVM bindings for the Go programming language

🐍 The Mamba programming language, because we care about safety

Typelang ⭐ 76

🌳 A tiny language interpreter implemented purely in TypeScript's type-system

Kind-safe framework for type-safe APIs

Dachs; A Doggy 🐶 Programming Language

Epoch Language ⭐ 68

Home of the Epoch Programming Language Project

Iothrottler ⭐ 68

A Go package for throttling application IO (such as bandwidth).

A simple, self hosted, low level programming language.

Can we write a querying language with Dhall? Let's find out!

Organization and planning for the Initial Types Club

Language Tags ⭐ 59

A Swiss Army knife for language tags.

Heron Language ⭐ 56

A pure functional type-inferred language based on JavaScript

Irontail ⭐ 56

[experimental] TypeScript Language Service Plugin to make classNames() type-safe for Tailwind.css

The compilation target that functional programmers always wanted.

[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.

Atom File Types ⭐ 54

Specify additional file types for languages.

The Spire Programming Language

Neeilang ⭐ 47

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

A purely functional programming language with first class types

Plasm.js ⭐ 45

JavaScript Programming Language for Solid Modeling

Old Gosu Repo ⭐ 44

Old Gosu Language repository

Golang Interview Questions ⭐ 44

🟣 Go Interview Questions Answered to help you get ready for your next backend developer interview.

A new programming language for blockchain.

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

Translatte ⭐ 42

A free and unlimited translate for NodeJS.

Bracket Lens Vscode ⭐ 41

Show bracket head on closing bracket for VS Code.

EPython is a typed-subset of the Python for extending the language new builtin types and methods

flypy - A runtime compiler for Python

language learning tools in Ruby + SQLite

Type Theory Compiler ⭐ 38

Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.

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

Css Module Types ⭐ 35

TypeScript Language Service Plugin for CSS modules.

Tapl In Minikanren Ckanren Core.logic ⭐ 33

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

Jetscript ⭐ 33

A simple scripting language for C++

Typelevel Interpreter ⭐ 31

Language and working Interpreter using only TypeScript types (no JavaScript either written or emitted)

Expressive, noiseless, interpreted, toy programming language

Scala Loci ⭐ 31

A programming language for distributed applications

Pragmatic Types ⭐ 30

Small practical guide on Flow and TypeScript for JavaScript developers

Baidu Translate Api ⭐ 28

A free and unlimited API for Baidu Translate

Hindley Milner ⭐ 28

Template for Hindley-Milner based languages

Coc Stylelint ⭐ 28

Stylelint language server extension for coc.nvim

Star Lang Specification ⭐ 27

Work in progress specs for the Star programming language

Funlangs ⭐ 27

Functional languages index

C++ binding generator for CPython 3.x (x>=2), Lua 5.3 and Go

Feature.scala ⭐ 27

Access Scala language features on the type-level

Related Searches

Javascript Types (8,178)

Python Language (4,480)

Javascript Language (4,116)

Typescript Types (2,606)

Python Types (2,536)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Types (1,921)

Php Language (1,760)

Language Translation (1,672)

1-88 of 88 search results

Privacy | About | Terms | Follow Us On Twitter

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