🇺🇸 Made in United States

Discover United States's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of United States.

jgm/pandoc

Universal markup converter

github/semantic

Parsing, analyzing, and comparing source code across many languages

facebook/Haxl

A Haskell library that simplifies access to remote data, such as databases or web-based services.

facebook/duckling

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

simonmichael/hledger

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

jgm/gitit

A wiki using HAppS, pandoc, and git

dapphub/dapptools

Dapp, Seth, Hevm, and more

ekmett/lens

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

BurntSushi/erd

Translates a plain text description of a relational database schema to a graphical entity-relationship diagram.

mikeizbicki/HLearn

Homomorphic machine learning

jtdaugherty/brick

A declarative Unix terminal UI library written in Haskell

google-research/dex-lang

Research language for array processing in the Haskell/ML family

avh4/elm-format

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

fossas/fossa-cli

Fast, portable and reliable dependency analysis for any codebase. Supports license & vulnerability scanning for large monoliths. Language-agnostic; integrates with 20+ build systems.

fullstack-development/developers-roadmap

How to learn front-end or back-end development

GaloisInc/cryptol

Cryptol: The Language of Cryptography

reanimate/reanimate

Haskell library for building declarative animations based on SVG graphics

evincarofautumn/kitten

A statically typed concatenative systems programming language.

reflex-frp/reflex

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just like other pure functional code, functional reactive code is easier to get right on the first try, maintain, and reuse.

GaloisInc/HaLVM

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

leksah/leksah

aviaviavi/toodles

Project management directly from the TODOs in your codebase

Gabriella439/turtle

Shell programming, Haskell style

obsidiansystems/obelisk

Functional reactive web and mobile applications, with batteries included.

joshuaclayton/unused

Deprecated; see https://github.com/unused-code/unused

Gabriella439/bench

Command-line benchmark tool

samtay/tetris

A terminal interface for Tetris

jonschoning/espial

Espial is an open-source, web-based bookmarking server.

cachix/cachix

Command line client for Nix binary cache hosting:

ajtulloch/dnngraph

A DSL for deep neural networks, supporting Caffe and Torch

agrafix/Spock

Another Haskell web framework for rapid development

BinRoot/Haskell-Data-Analysis-Cookbook

Accompanying Source Code for the Haskell Data Analysis Cookbook

andyarvanitis/purescript-native

A native compiler backend for PureScript (via C++ or Golang)

aviaviavi/legion

Simple blockchain server written in Haskell for educational purposes

mattgreen/hython

Haskell-powered Python 3 interpreter

kadena-io/pact

The Pact Smart Contract Language

granule-project/granule

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

mihaimaruseac/hindent

Haskell pretty printer

sweirich/pi-forall

A demo implementation of a simple dependently-typed language

facebookincubator/retrie

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

pushcx/hpffp-resources

Haskell Programming From First Principles - Follow-up Resources

Gabriella439/pipes

Compositional pipelines

ThoughtWorksInc/DeepDarkFantasy

A Programming Language for Deep Learning

mbrubeck/compleat

Generate command-line completions using a simple DSL.

kadena-io/juno

Smart Contracts Running on a BFT Hardened Raft

zachjs/sv2v

SystemVerilog to Verilog conversion

GaloisInc/saw-script

The SAW scripting language.

davidbrewer/xmonad-ubuntu-conf

My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.

mikeizbicki/subhask

Type safe interface for working in subcategories of Hask

gregwebs/Shelly.hs

Haskell shell scripting

ivanperez-keera/Yampa

Functional Reactive Programming domain-specific language for efficient hybrid systems

tommythorn/Reduceron

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

jtdaugherty/tart

Tart - draw ASCII art in the terminal with your mouse!

lehins/massiv

Efficient Haskell Arrays featuring Parallel computation

Consensys/constellation

Peer-to-peer encrypted message exchange

geohot/configuration

Like some files bro

jbarrow/LambdaNet

Purely functional artificial neural network library implemented in Haskell.

GaloisInc/ivory

jgm/yst

create static websites from YAML data and string templates

Gabriella439/Haskell-Morte-Library

A bare-bones calculus-of-constructions

ekmett/ad

Automatic Differentiation

seagreen/Son

Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json

ryantm/nixpkgs-update

Updating nixpkgs packages since 2018

theam/haskell-do

✏️ 📊 - The Haskell code editor focused on interactive development.

joelburget/react-haskell

React bindings for Haskell

morphismtech/squeal

Squeal, a deep embedding of SQL in Haskell

reflex-frp/reflex-dom

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.

tadeuzagallo/verve-lang

A functional language for the working hacker

ekmett/machines

Networks of composable stream transducers

NixOS/cabal2nix

Generate Nix build instructions from a Cabal file

higherkindness/mu-haskell

Mu (μ) is a purely functional framework for building micro services.

jtdaugherty/vty

A high-level ncurses alternative written in Haskell

mightybyte/monad-challenges

A set of challenges for jump starting your understanding of monads.

fimad/scalpel

A high level web scraping library for Haskell.

dpiponi/quine-central

A quine generator

nasa/ogma

justinethier/husk-scheme

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

acowley/Frames

Data frames for tabular data.

ekmett/trifecta

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

parsonsmatt/servant-persistent

A brief example of Servant with Persistent

sweirich/dth

Examples of Dependently-typed programs in Haskell

Gabriella439/slides

Slides from talks that I give

jgm/texmath

A Haskell library for converting LaTeX math to MathML.

Gabriella439/nix-diff

Explain why two Nix derivations differ

jgm/pandoc-citeproc

Library and executable for using citeproc with pandoc

MichaelXavier/Angel

Process Monitoring/Management, Like Daemontools

goldfirere/singletons

Fake dependent types in Haskell using singletons

byorgey/haskell-course

Introductory Haskell course materials (originally CIS 194 @ UPenn)

dmbarbour/Sirea

Simply Reactive! Declarative orchestration in Haskell using RDP

theam/aws-lambda-haskell-runtime

⚡Haskell runtime for AWS Lambda

GaloisInc/haskell-tor

A Haskell implementation of the Tor protocol.

ivanperez-keera/haskanoid

A free and open source breakout clone in Haskell using SDL and FRP, with Wiimote and Kinect support.

tomahawkins/atom

A DSL for embedded hard realtime applications.

lukexi/halive

Live recompiler for Haskell

ekmett/guanxi

Relational programming in Haskell. Mostly developed on twitch.

seliopou/typo

A programming language that runs in Haskell's type system.

jyh1/mmaclone

A simple Wolfram Language clone in Haskell

kadena-io/chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

Nike-Inc/hal

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

LeventErkok/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.