Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell definition
definition
x
haskell
x
61 search results found
Servant Persistent
⭐
284
A brief example of Servant with Persistent
Singletons
⭐
279
Fake dependent types in Haskell using singletons
Lit
⭐
264
A modern tool for literate programming
Sixty
⭐
224
Dependent type checker using normalisation by evaluation
Skylighting
⭐
179
A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions
Combinators Js
⭐
132
🐦 Some combinators
Highlighting Kate
⭐
112
A syntax highlighting library in Haskell, based on Kate syntax definitions
Tensor Safe
⭐
96
A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
Parsers
⭐
87
Generic parser combinators
Units
⭐
84
The home of the units Haskell package
Comonad
⭐
77
Haskell 98 comonads
Pskt
⭐
68
Kotlin-backend for PureScript
Lambda Zero
⭐
67
minimalist pure lazy functional programming language (pythonic haskell)
Yesod Dsl
⭐
51
A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Persistent.
Arrowsmith
⭐
48
Augmented editor for Elm.
Pandoc Theorem
⭐
43
Write LaTeX theorems in Pandoc Markdown
Haskelm
⭐
42
Haskell to Elm translation using Template Haskell. Contains both a library and executable.
Kinder Functor
⭐
41
An alternate definition of Haskell's Functor typeclass
Pureli
⭐
35
A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
Lngen
⭐
29
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Calc Comp
⭐
27
Coq proofs for the paper "Calculating Correct Compilers"
Provability
⭐
25
Servant To Elm
⭐
23
Generate Elm client libraries from Servant API definitions.
Dhallia
⭐
22
Dhall-configured inductive API definitions
Persistent Relational Record
⭐
21
Persistent adapter for Haskell Relational Record
Typescript Docs
⭐
20
A documentation tool for TypeScript Definition files
Hie Lsif
⭐
20
Singlang
⭐
20
A completely legitimate programming language for Singaporeans first. Because uncle also can code one hor.
Scala Attoparsec
⭐
15
A port of Bryan O'Sullivan's attoparsec from Haskell to Scala
Avro Parser Haskell
⭐
14
Language definition and parser for AVRO (.avdl) files.
Merydef
⭐
13
Keyword highlighting definition for Mery
Atom Msp430
⭐
12
Definitions for using Atom with the MSP430 microcontroller family.
Equationalreasoninginliquidhaskell
⭐
12
Derivation of Optimized Definitions Based on Specs
Snaplet Redson
⭐
12
CRUD for JSON data with Redis storage
Duckless
⭐
11
Haskell-like runtime JavaScript functions type definitions
Zipperfs
⭐
10
Oleg Kiselyov's zipper-based file-server/OS
Hilbertrtree
⭐
10
A Hilbert RTree
Loopbreaker
⭐
9
[WIP] inlining of self-recursive definitions
Hs2010to201x
⭐
9
Automatic H2010 to H201x Refactoring
Cobalt
⭐
9
COnstraint-BAsed Little Typechecker
Roundtrip
⭐
9
Roundtrip allows the definition of bidirectional (de-)serialization specifications
Evaporate
⭐
8
Evaporate is a convention-based, simple CloudFormation Stack deployment tool.
Glam
⭐
8
The guarded λ-calculus
Polymonad Proofs
⭐
7
Agda proofs about polymonads
Join Interpreter Distributed
⭐
7
Interpreter for a Join Calculus DSL (Join-Language) backed by a DHT
Haskell Holes Th
⭐
7
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
Yesod Raml
⭐
7
Generate Yesod framework route definitions, documentaiton, mock-handler, and more from your RAML spec.
Proof
⭐
7
Llvm Base Types
⭐
7
Type definitions used in some higher-level LLVM-related packages
Aeson Applicative
⭐
6
define To/From JSON instances from one applicative definition
Soosim
⭐
6
Abstract full system simulator
Groupby
⭐
6
An example replacement for Data.List.groupBy
Olus Lang
⭐
5
The Oluś Programming Language
Ariadne El
⭐
5
Ariadne plugin for Emacs
Nvim Hs Lsp
⭐
5
language client for neovim implemented using nvim-hs
Makeobj
⭐
5
A JSON generator
Llint
⭐
5
Lua-5.x static analyzer
Antfarm
⭐
5
referring expression generation for dictionary definitions
Ski
⭐
5
Emulator of the SKI combinator system
Wayland Wire
⭐
5
A Haskell implementation of the Wayland wire protocol
Filterable
⭐
5
A simple account of "filterability" using category theory
Related Searches
Javascript Definition (1,592)
Haskell Ghc (1,289)
Types Haskell (1,028)
Python Definition (981)
Typescript Definition (908)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
1-61 of 61 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.