Awesome Open Source

Programming Languages

Search results for language haskell

344 search results found

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

Purescript ⭐ 8,384

A strongly-typed language that compiles to JavaScript

Unison ⭐ 5,446

A friendly programming language from the future

Duckling ⭐ 3,974

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

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

Koka language compiler and interpreter

Haskell Language Server ⭐ 2,507

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Tidal ⭐ 2,128

Pattern language

Ua Parser ⭐ 1,978

A multi-language port of Browserscope's user agent parser.

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

The Lux Programming Language

Haste Compiler ⭐ 1,390

A GHC-based Haskell to JavaScript compiler

Vim Lsp Settings ⭐ 1,197

Auto configurations for Language Server for vim-lsp

Kitten ⭐ 1,020

A statically typed concatenative systems programming language.

Haskell-style functional programming language running on Erlang VM.

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

Awesome Answers ⭐ 682

Curated list of inspiring and thoughtful answers given on stackoverflow, quora, etc.

Reach Lang ⭐ 583

Reach: The Safest and Smartest DApp Programming Language

Haskell-powered Python 3 interpreter

Pi Forall ⭐ 501

A demo implementation of a simple dependently-typed language

Haskell-based shell scripting language

Deepdarkfantasy ⭐ 464

A Programming Language for Deep Learning

Kata Bootstraps ⭐ 458

Empty projects for different languages with a failing test

Saw Script ⭐ 429

The SAW scripting language.

Whyhaskellmatters ⭐ 424

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code examples. The presentation aims to be self-contained and does not require any previous knowledge of the language.

Dslsofmath ⭐ 387

Domain-Specific Languages of Mathematics

Compiler ⭐ 383

Elm compiler written in Elm

Awesome Haskell ⭐ 374

A curated list of awesome Haskell frameworks, libraries and software.

Haskell text processor for the command-line

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

Verve Lang ⭐ 335

A functional language for the working hacker

Linear Base ⭐ 319

Standard library for linear types in Haskell.

Programming ⭐ 301

Code a program in a language of your choice.

Husk Scheme ⭐ 299

A full implementation of the Scheme programming language for the Haskell Platform.

Sdl2 Examples ⭐ 299

SDL2 examples, for 25+ different programming languages

A probabilistic programming language

Quine Central ⭐ 291

A quine generator

Haskell Symbol Search Cheatsheet ⭐ 279

Haskell/GHC symbol search cheatsheet

Awesome Idris ⭐ 262

𝛌 Awesome Idris resources

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

The next generation esoteric language

Frp Arduino ⭐ 234

Arduino programming without the hassle of C.

Lsp Haskell ⭐ 217

lsp-mode ❤️ haskell

Mmaclone ⭐ 215

A simple Wolfram Language clone in Haskell

Smart contract specification language

The Ermine Programming Language - Join us on irc.freenode.net #ermine

A typed, polyglot, functional language

A simple functional language target to JavaScript

Haskell in S-expression

Compile To Web ⭐ 156

Discover what languages can be compiled to Web Assembly

Functional teaching language for use in a discrete mathematics course

A book on programming languages, using Haskell

Estuary ⭐ 151

Platform for collaboration and learning through live coding

Shentong ⭐ 148

A Haskell implementation of the Shen programming language.

The Visi Language and iPad IDE

Book Reviews ⭐ 137

Copilot ⭐ 136

A (Haskell DSL) stream language for generating hard real-time C code.

A Super Kawaii Dependently Typed Programming Language

Dysvunctional Language ⭐ 130

Running the code you want to write as fast as the code you have to write

Principled schema system for JSON. Work in progress.

An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)

Hypatia ⭐ 126

A ML-family Language Compiled to Lua

🎍 Universal, Multi Language, Multi Paradigm code analyzer

Idris Cil ⭐ 125

A Common Intermediate Language backend for Idris.

Caledon ⭐ 121

higher order dependently typed logic programing

Servant Swagger ⭐ 121

Swagger for Servant

CQL: Categorical Query Language implementation in Haskell

rslt, take five-ish

Nix Linter ⭐ 110

Linter for the Nix expression language

A Tour Of Go In Haskell ⭐ 108

Write "Concurrency" section of "A Tour of Go" in Haskell

Concise Cheat Sheets ⭐ 108

Cheat Sheets for programming languages and tools

Hopper V0 ⭐ 104

a sound modern language for computation and transactional resource logic

Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp

Helloworlds ⭐ 101

Hello-World program in most programming languages

A Typed, Composable Database Query Language

Dhall To Cabal ⭐ 96

Compile Dhall expressions to Cabal files

Language Haskell ⭐ 94

Highlighting support for the Haskell language in visual studio code.

Haskellweekly.github.io ⭐ 93

A free weekly newsletter about the Haskell programming language.

Discussion about proposed changes to the Haskell programming language

Miniagda ⭐ 91

A prototypical dependently typed languages with sized types and variances

The Ntha Programming Language

An interpreter of Hagino's Categorical Programming Language (CPL).

Programming Language Explorations

Hnix Store ⭐ 75

Haskell implementation of the Nix store

Kind-safe framework for type-safe APIs

Lambdacube Compiler ⭐ 74

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:

Lojban.io ⭐ 73

A free and opensource platform for studying the artificial language Lojban.

Language Haskell ⭐ 72

Haskell language support for Atom

One Line Wonders ⭐ 70

OneLineWondersCode | 1000+ Commits | 279/300 One Liners | 200+ Forks | Actively maintained open-source collection of "one-line" programs performing various tasks in different languages

Polyglot Euler ⭐ 69

📜 Project Euler solutions in various programming languages

Next 700 Module Systems ⭐ 69

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Lambda Zero ⭐ 67

minimalist pure lazy functional programming language (pythonic haskell)

Declarative Programming Streams ⭐ 67

Active streaming declarative programmers. See who's online at the following URL:

Dive_into_haskell ⭐ 67

Dive into Haskell: Examples of all features of this Pure Functional programing language

Hnix Lsp ⭐ 66

Language Server Protocol for Nix

Domain Specific Languages for Computational Law

Etlas, the build tool and package manager for the Eta programming language

Strict Haskell-like programming language that compiles to LLVM

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Haskell Ghc (1,289)

Golang Language (1,282)

Typescript Language (1,185)

1-100 of 344 search results

Privacy | About | Terms | Follow Us On Twitter

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