🇺🇸 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.

crytic/echidna

Ethereum smart contract fuzzer

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

obsidiansystems/obelisk

Functional reactive web and mobile applications, with batteries included.

Gabriella439/turtle

Shell programming, Haskell style

Gabriella439/bench

Command-line benchmark tool

joshuaclayton/unused

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

cachix/cachix

Command line client for Nix binary cache hosting:

jonschoning/espial

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

samtay/tetris

A terminal interface for Tetris

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

granule-project/granule

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

mattgreen/hython

Haskell-powered Python 3 interpreter

kadena-io/pact

The Pact Smart Contract Language

mihaimaruseac/hindent

Haskell pretty printer

zachjs/sv2v

SystemVerilog to Verilog conversion

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

GaloisInc/saw-script

The SAW scripting language.

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.

gregwebs/Shelly.hs

Haskell shell scripting

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

lehins/massiv

Efficient Haskell Arrays featuring Parallel computation

jtdaugherty/tart

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

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

ekmett/ad

Automatic Differentiation

Gabriella439/Haskell-Morte-Library

A bare-bones calculus-of-constructions

seagreen/Son

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

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.

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

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.

Gabriella439/nix-diff

Explain why two Nix derivations differ

nasa/ogma

mightybyte/monad-challenges

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

fimad/scalpel

A high level web scraping library for Haskell.

jtdaugherty/vty

A high-level ncurses alternative written in Haskell

dpiponi/quine-central

A quine generator

ekmett/trifecta

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

acowley/Frames

Data frames for tabular data.

justinethier/husk-scheme

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

Gabriella439/slides

Slides from talks that I give

sweirich/dth

Examples of Dependently-typed programs in Haskell

parsonsmatt/servant-persistent

A brief example of Servant with Persistent

jgm/texmath

A Haskell library for converting LaTeX math to MathML.

jgm/pandoc-citeproc

Library and executable for using citeproc with pandoc

goldfirere/singletons

Fake dependent types in Haskell using singletons

MichaelXavier/Angel

Process Monitoring/Management, Like Daemontools

byorgey/haskell-course

Introductory Haskell course materials (originally CIS 194 @ UPenn)

ivanperez-keera/haskanoid

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

dmbarbour/Sirea

Simply Reactive! Declarative orchestration in Haskell using RDP

theam/aws-lambda-haskell-runtime

⚡Haskell runtime for AWS Lambda

tomahawkins/atom

A DSL for embedded hard realtime applications.

GaloisInc/haskell-tor

A Haskell implementation of the Tor protocol.

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

LeventErkok/sbv

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

kadena-io/chainweb-node

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

awakesecurity/gRPC-haskell

Haskell gRPC support