Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Programming Open Source Projects

Open source projects categorized as Types Programming
Cats ⭐ 5,110
Lightweight, modular, and extensible library for functional programming.
dependent packages 1,254total releases 54most recent commit 3 months ago
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8most recent commit 3 months ago
Learn Tt ⭐ 1,307
A collection of resources for learning type theory and type theory adjacent fields.
most recent commit 4 years ago
Awesome Lisp Languages ⭐ 602
A list of Lisp-flavored programming languages
most recent commit 9 months ago
Psychec ⭐ 486
A compiler frontend for the C programming language
most recent commit 3 months ago
Cone ⭐ 453
Cone Programming Language
most recent commit a year ago
Fp Resources ⭐ 350
Functional programming great resources
most recent commit 4 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 3 years ago
Gtf ⭐ 298
gtf - a useful set of Golang Template Functions
dependent packages 16total releases 1most recent commit 5 years ago
Quack ⭐ 295
🐤 A multi-paradigm programming language with gradual and duck typing that targets PHP and JS
most recent commit 6 years ago
Ghost Lang ⭐ 292
👻 A friendly little language for you and me.
most recent commit 5 years ago
Tyrade ⭐ 267
A pure functional language for type-level programming in Rust
most recent commit a year ago
Awesome Idris ⭐ 262
𝛌 Awesome Idris resources
most recent commit 4 years ago
Typefunc ⭐ 182
Resources for type theory, functional programming, etc.
most recent commit 3 years ago
Libf ⭐ 161
C++ as a Pure Functional Programming Language
most recent commit 5 years ago
Generics Sop ⭐ 157
Generic Programming using True Sums of Products
most recent commit 6 months ago
Caledon ⭐ 121
higher order dependently typed logic programing
total releases 9most recent commit 6 years ago
Json Typedef Codegen ⭐ 106
A CLI tool that generates code from JSON Typedef schemas
total releases 4most recent commit a year ago
Nimfp ⭐ 89
Nim functional programming library
most recent commit 5 years ago
Ntha ⭐ 88
The Ntha Programming Language
total releases 3most recent commit 7 years ago
Gollvm ⭐ 86
LLVM bindings for the Go programming language
total releases 1most recent commit 11 years ago
Klassic ⭐ 85
Klassic is A Programming Language which enables Object-Functional Programming
most recent commit 8 months ago
The 10 Most Depended On Types Programming Open Source Projects
Cats ⭐ 5,110
Lightweight, modular, and extensible library for functional programming.
dependent packages 1,254total releases 54latest release August 14, 2023most recent commit 3 months ago
Functional ⭐ 60
Functional is a set of libraries that support functional programming patterns in C#.
dependent packages 24total releases 41latest release November 13, 2022most recent commit a year agonuget Functional.Primitives} Downloads
Gtf ⭐ 298
gtf - a useful set of Golang Template Functions
dependent packages 16total releases 1latest release February 14, 2019most recent commit 5 years ago
Rusted ⭐ 21
Rust-style programming in javascript
dependent packages 3total releases 12latest release March 04, 2016most recent commit 6 years agonpm rusted} Downloads
Plasm.js ⭐ 45
JavaScript Programming Language for Solid Modeling
dependent packages 3total releases 6latest release August 13, 2012most recent commit 10 years agonpm plasm.js} Downloads
Jfp ⭐ 20
Javascript functional programming utilities borrowed heavily against Lisp.
dependent packages 2total releases 49latest release January 31, 2018most recent commit 6 years agonpm jfp} Downloads
Rustype ⭐ 11
Type safe Option, Result and Vector from the Rust programming language
dependent packages 2total releases 6latest release August 29, 2021most recent commit 3 years agonpm @faramo.zayw/rustype} Downloads
Dpq2 ⭐ 59
This is yet another attempt to create a good interface to PostgreSQL for the D programming language.
dependent packages 2total releases 148latest release November 15, 2023most recent commit 5 months agodub dpq2} Downloads
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8latest release September 13, 2023most recent commit 3 months ago
The 10 Latest Releases In Types Programming Open Source Projects
Dpq2 ⭐ 59
This is yet another attempt to create a good interface to PostgreSQL for the D programming language.
dependent packages 2total releases 148latest release November 15, 2023most recent commit 5 months agodub dpq2} Downloads
Lux ⭐ 1,617
The Lux Programming Language
dependent packages 1total releases 8latest release September 13, 2023most recent commit 3 months ago
Cats ⭐ 5,110
Lightweight, modular, and extensible library for functional programming.
dependent packages 1,254total releases 54latest release August 14, 2023most recent commit 3 months ago
Functional ⭐ 60
Functional is a set of libraries that support functional programming patterns in C#.
dependent packages 24total releases 41latest release November 13, 2022most recent commit a year agonuget Functional.Primitives} Downloads
Zeolite ⭐ 18
Zeolite is a statically-typed, general-purpose programming language.
total releases 46latest release October 08, 2022most recent commit 3 months ago
Rustype ⭐ 11
Type safe Option, Result and Vector from the Rust programming language
dependent packages 2total releases 6latest release August 29, 2021most recent commit 3 years agonpm @faramo.zayw/rustype} Downloads
Json Typedef Codegen ⭐ 106
A CLI tool that generates code from JSON Typedef schemas
total releases 4latest release April 02, 2021most recent commit a year ago
Laop ⭐ 79
Linear Algebra of Programming - Algebraic Matrices in Haskell
latest release June 06, 2020most recent commit 10 months ago
Gtf ⭐ 298
gtf - a useful set of Golang Template Functions
dependent packages 16total releases 1latest release February 14, 2019most recent commit 5 years ago
Popular Learning Resources Categories
Tutorials
Paper
Book
Programming
Course
Article
Education
Hack
Cookbook
University
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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