Awesome Open Source

Programming Languages

Search results for haskell programming language

programming-language x

133 search results found

The fastest way to develop full-stack web apps with React & Node.js.

Unison ⭐ 5,446

A friendly programming language from the future

Awesome Wasm Langs ⭐ 3,949

😎 A curated list of languages that compile directly to or have their VMs in WebAssembly

Idris Dev ⭐ 3,382

A Dependently Typed Functional Programming Language

Agda is a dependently typed programming language / interactive theorem prover.

lists of most popular repositories for most favoured programming languages (according to StackOverflow)

Lamdu ⭐ 1,834

lamdu - towards the next generation IDE

The Lux Programming Language

Plutus ⭐ 1,474

The Plutus language implementation and tools

Plfa.github.io ⭐ 1,285

An introduction to programming language theory in Agda

Kitten ⭐ 1,020

A statically typed concatenative systems programming language.

Haskell-style functional programming language running on Erlang VM.

The Egison Programming Language

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Completely Unscientific Benchmarks ⭐ 395

Naive performance comparison of a few programming languages (JavaScript, Kotlin, Rust, Swift, Nim, Python, Go, Haskell, D, C++, Java, C#, Object Pascal, Ada, Lua, Ruby)

Peridot ⭐ 388

A fast functional language based on two level type theory

Call Haskell From Anything ⭐ 369

Call Haskell functions from any programming language via serialization and dynamic libraries

Algorithms Cheatsheet Resources ⭐ 331

🤓All the geeky stuffs you need to know at one place!

누리 : 함수형 한글 프로그래밍 언어

Cedille ⭐ 305

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Sdl2 Examples ⭐ 299

SDL2 examples, for 25+ different programming languages

A probabilistic programming language

Haskell ⭐ 278

An ML-like functional programming language

Neohaskell ⭐ 246

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

The next generation esoteric language

Lawvere ⭐ 222

A categorical programming language with effects

A typed, polyglot, functional language

Alga Paper ⭐ 170

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Haskell in S-expression

Functional teaching language for use in a discrete mathematics course

A language experiment -- irc.freenode.net ##coda

A Super Kawaii Dependently Typed Programming Language

Hypertypes ⭐ 104

Hypertypes - generic programming for heterogeneous recursive types

A small, weird and unpractical programming language.

Helloworlds ⭐ 101

Hello-World program in most programming languages

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

Lambdapi ⭐ 86

Dependently Typed Lambda Calculus in Haskell

theseus, functional programming language with fully reversible computation

Automates certain common tasks that you do during programming competitions

Vanilla Lang ⭐ 73

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

🐦 Programming language that only consists of bird emojis

Polyglot Euler ⭐ 69

📜 Project Euler solutions in various programming languages

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

Simplexhc ⭐ 64

compiler with polyhedral optmization for a lazy functional programming language

Placeholder for the OwO compiler

🧮 Programming with pure lambda calculus

Quipper Language ⭐ 54

Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)

Mooc Course Description ⭐ 50

Multi-paradigm programming language compiled to C++, written in Python.

Lfvm Stg ⭐ 45

Map lazy functional language constructs to LLVM IR

A programming language supporting most of both declarative and imperative programming

A statically typed functional programming language.

small programming language. pls be gentle.

My toy programming languages

Quark is a compiled lisp-like functional language influenced by and written in Haskell

The Cobalt programming language

2024_20cys312_principles_of_programming ⭐ 37

20CYS312 - Principles of Programming Languages - 6th Sem - B.E. CSE(CYS) - ASC, CBE

Cs Resources ⭐ 36

Curated Computer Science and Programming Resource Guide

The Encore compiler.

A purely functional, dynamically typed, parallel evaluated Lisp-like programming language

Plt Books ⭐ 34

Books on programming language theory and linguistics in general.

An embedded probabilistic programming language.

Imperator ⭐ 30

A proof of concept imperative language for writing Plutus Smart Contracts.

Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system

A programming language for rapid application development

This repository contains the material related to the practical classes of the course Principles of Programming Languages

Simplefp ⭐ 27

A series of implementations of a simple functional programming language.

Work-in-progress functional dependently typed programming language

Eve Language ⭐ 27

A purely functional programming language intended for practical programming.

Madlib language compiler

Nico Lang ⭐ 24

Nico-lang is the programing language of Nico Yazawa

A simple, purely-functional programming language

Metu Ceng ⭐ 22

All the homeworks, studies and projects I've done at Metu-CENG

Postfix Haskell ⭐ 22

A low-level, postfix, functional programming language that compiles to WebAssembly

Mascarpone ⭐ 21

MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.

Tapl Haskell ⭐ 21

Types and Programming Languages

Singlang ⭐ 20

A completely legitimate programming language for Singaporeans first. Because uncle also can code one hor.

A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"

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

A simple, general-purpose functional programming language

PolyRPC, A multi-tier functional programming language

functional programming language and its compiler

Lens Proposal ⭐ 15

Lens Proposal for a Haskell-like Language

Mooncake ⭐ 14

🌜 A functional, dynamic programming language

A language for matching two-dimensional patterns, based on Boolean grammars.

A small relational (logic) programming language.

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

Haskell Rascal ⭐ 13

Learning haskell with a rascal!

Acme Pcf Specification ⭐ 13

Awesome Coding Paradigms ⭐ 13

Novalang ⭐ 12

A Haskell derived programming language for systems development.

Lazy Ein ⭐ 12

JSON meets Haskell.

Idris Elba Dev ⭐ 12

A Whitespace-Based Dependently Typed Functional Programming Language

Elysiabot ⭐ 12

Modular Haskell IRC Bot

Idris Clean ⭐ 11

A priliminary backend for Idris that compiles to Clean.

Cadregalisp ⭐ 11

🍎 Just another useless programming language, but with inganno.

dependently-typed lisp with flexible compiler backends

Related Searches

Haskell Ghc (1,289)

Types Haskell (1,028)

Language Haskell (862)

C Plus Plus Programming Language (830)

Haskell Functional Programming (812)

Python Programming Language (779)

Haskell Monad (681)

C Programming Language (667)

Javascript Programming Language (590)

Haskell Hackage (574)

1-100 of 133 search results

Privacy | About | Terms | Follow Us On Twitter

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