Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for types programming
programming
x
types
x
50 search results found
Cats
⭐
5,110
Lightweight, modular, and extensible library for functional programming.
Plt
⭐
5,018
Programming Language Theory λΠ
Lux
⭐
1,617
The Lux Programming Language
Learn Tt
⭐
1,307
A collection of resources for learning type theory and type theory adjacent fields.
Awesome Lisp Languages
⭐
602
A list of Lisp-flavored programming languages
Psychec
⭐
486
A compiler frontend for the C programming language
Cone
⭐
453
Cone Programming Language
Fp Resources
⭐
350
Functional programming great resources
Typedefs
⭐
343
Programming language agnostic type construction language based on polynomials.
Gtf
⭐
298
gtf - a useful set of Golang Template Functions
Quack
⭐
295
🐤 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.
Tyrade
⭐
267
A pure functional language for type-level programming in Rust
Awesome Idris
⭐
262
𝛌 Awesome Idris resources
Typefunc
⭐
182
Resources for type theory, functional programming, etc.
Libf
⭐
161
C++ as a Pure Functional Programming Language
Generics Sop
⭐
157
Generic Programming using True Sums of Products
Caledon
⭐
121
higher order dependently typed logic programing
Json Typedef Codegen
⭐
106
A CLI tool that generates code from JSON Typedef schemas
Nimfp
⭐
89
Nim functional programming library
Ntha
⭐
88
The Ntha Programming Language
Gollvm
⭐
86
LLVM bindings for the Go programming language
Klassic
⭐
85
Klassic is A Programming Language which enables Object-Functional Programming
Ntutilslibrary
⭐
84
Delphi library for system programming on Windows using Native API
Abap Oop Library
⭐
81
ABAP Object-oriented programming Library
Laop
⭐
79
Linear Algebra of Programming - Algebraic Matrices in Haskell
Dachs
⭐
73
Dachs; A Doggy 🐶 Programming Language
Epoch Language
⭐
68
Home of the Epoch Programming Language Project
Purescript Typelevel Prelude
⭐
62
Types and kinds for basic type-level programming
Little Type Library
⭐
62
A little metaprogramming and functional library
Ocamlcheatsheet
⭐
60
Reference of basic commands to get comfortable with OCaml.
Functional
⭐
60
Functional is a set of libraries that support functional programming patterns in C#.
Dpq2
⭐
59
This is yet another attempt to create a good interface to PostgreSQL for the D programming language.
Spire
⭐
53
The Spire Programming Language
Plasm.js
⭐
45
JavaScript Programming Language for Solid Modeling
Cx
⭐
43
A new programming language for blockchain.
Huginn
⭐
42
Programming language with no quirks, so simple every child can master it.
Namingthings
⭐
38
Content on tips, tricks, advice, practices for naming things in in software/technology
Purescript Typelevel Eval
⭐
37
Higher order functional programming in PureScript's type system
Quiverjs
⭐
37
Functional programming for the web
Tapl In Minikanren Ckanren Core.logic
⭐
33
Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic
Syncweb
⭐
28
literate programming meets unison
Burn
⭐
25
Burn is a programming language written in Rust.
Advanced Functional Resources
⭐
24
Ez Collections
⭐
21
Collections library for primitive types, mainly for programming contests, in Java
Rusted
⭐
21
Rust-style programming in javascript
Tapl Haskell
⭐
21
Types and Programming Languages
B522 Pl Foundations
⭐
20
Course Webpage for B522 Programming Language Foundations, Spring 2020, Indiana University
Jfp
⭐
20
Javascript functional programming utilities borrowed heavily against Lisp.
Logical
⭐
19
Minimalistic logic programming framework
Zeolite
⭐
18
Zeolite is a statically-typed, general-purpose programming language.
Agda Ecosystem
⭐
18
Infer_workshop
⭐
17
Typelevel Programming Scala
⭐
15
TypeLevel Programming in Scala
R_programming
⭐
13
台大資工系統訓練班 R 程式設計班的教學專案
Studygroup Tapl
⭐
13
A Types and Programming Languages Study Group.
Type_expr
⭐
13
meta-programming, C++11
Ohrid19 Agda
⭐
13
Material for the Agda course at the EUTYPES Summer School '19 in Ohrid
Peryan
⭐
12
A Programming Language
Universal
⭐
12
Universal Competitive Programming Suite
Rustype
⭐
11
Type safe Option, Result and Vector from the Rust programming language
Appliedalgorithms
⭐
10
Guides and solutions to various types of programming problems.
Proposal Agda Tutorial
⭐
9
Proposal for an Agda tutorial
Type Prog
⭐
9
An attempt to grok type-level programming in Scala
Lw2019 Generics Workshop
⭐
9
Contains exercises for the workshop in generic programming at Lambda World 2019
Readingnotes
⭐
9
📝 Reading Note
Kindness
⭐
9
A functional programming framework with a lightweight implementation of higher-kinded types for Swift.
Type Function
⭐
8
Type-level functional programming
Types
⭐
8
Did someone say types?
Func
⭐
8
Library to extend C#'s functional programming capabilities
Leaflet Rxjs
⭐
8
leaflet-rxjs allows you to harness the power of reactive programming with Leaflet. This package adds observable functionality to any event generating Leaflet object.
Funcstream
⭐
8
Documenting the process of learning Haskell and functional programming
Javascript Adts
⭐
7
Examples of Abstract Data Types written in Javascript for educational purposes
Snipscompilergen2
⭐
7
A Compiler for the C/Java oriented Programming Language Snips that ouputs ARM Assembly.
Trump
⭐
7
A super simple programming language to demonstrate how to write a static type analyser
Awesome Agda Programming
⭐
7
Awesome Agda Programming
Learn Data_structure Algorithm By C
⭐
6
Data Structure and Algorithm explanations with Implementations by C
Tapl Re
⭐
6
Types and programming languages in reason
Typed Functional Fauna
⭐
6
Typed functional programming with Fauna DB
Languagecollections
⭐
6
programming languages invented/implemented by myself.
Mythology
⭐
6
A small, simple and type safe programming language
Henk
⭐
6
pure type system language - henk 2000 ported to megaparsec, pretty
Cpptmp_functionalprogramming
⭐
6
implement functional programming by C++ template meta programming
Misc
⭐
6
Misc playground and random stuff
Climbing Fp Ladder
⭐
5
A record of examples and anecdotes as I ascend the ladder of Functional Programming
Lang
⭐
5
An imperative programming language written in Rust
Functional Java
⭐
5
Functional programming style in Java
Unitary Proposal
⭐
5
My new proposal to the unitary fund [Accepted].
Anima
⭐
5
A simple dependently-typed programming language
Intro
⭐
5
A programming language for everybody!
Extol
⭐
5
Extol Programming Language
Ace Lang
⭐
5
A versatile programming language
Purescript Type Isequal
⭐
5
Type equality check returning a Boolean kind. Useful for type-level programming.
Simpl
⭐
5
A simple imperative programming language inspired by ideas in functional programming languages
Cofunctor Pl
⭐
5
Myml
⭐
5
Experimental multi-paradigm programming language with full type inference.
Funalgebra
⭐
5
Slides and code examples from 'Functional Algebra By Example' talk at CodeMesh 2013
Sage
⭐
5
The dependently & gradually typed Sage programming language
Related Searches
Javascript Types (8,178)
Python Programming (3,002)
Typescript Types (2,606)
Python Types (2,536)
Javascript Programming (2,159)
Php Types (1,921)
C Plus Plus Programming (1,812)
Java Programming (1,806)
Java Types (1,598)
C Programming (1,543)
1-50 of 50 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.