GitHub topics: haskell-application

Repositories

polyrod/xnec2c-gao

An external optimizer for xnec2c using a genetic algorithm

Language: Haskell - Size: 1.07 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 6 - Forks: 1

pasqu4le/clifm

Command Line Interface File Manager

Language: Haskell - Size: 430 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 108 - Forks: 11

kowainik/summoner

🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects

Language: Haskell - Size: 942 KB - Last synced at: 11 days ago - Pushed at: 9 months ago - Stars: 710 - Forks: 75

morganstanley/hobbes

A language and an embedded JIT compiler

Language: C - Size: 3.67 MB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 1,183 - Forks: 111

haskell-jp/antenna

Language: Haskell - Size: 31.9 MB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 8 - Forks: 2

YaccConstructor/LangToGroup

Implementation of Isoperimetric and Isodiametric Functions of Groups in Haskell

Language: Haskell - Size: 1.65 MB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 7

tusharad/Reddit-Clone-Haskell

Reddit Clone written in Haskell and Postgres

Language: Haskell - Size: 1.16 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 3

bionade24/histcleaner

Clean your (history) files from secrets.

Language: Haskell - Size: 85 KB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

avanov/amazonka-contrib-rds-utils

A Haskell equivalent of "aws rds generate-db-auth-token" CLI utility built on top of "amazonka" library.

Language: Haskell - Size: 93.8 KB - Last synced at: 15 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 5

j-mueller/ernie

Project planning

Language: Haskell - Size: 111 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

typeclasses/aws-cloudfront-signed-cookies

Generate signed cookies for AWS CloudFront

Language: Haskell - Size: 75.2 KB - Last synced at: 22 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1

Tokenomia is built for the Cardashift ICO, it aims to simplify the use of Native Tokens and Smart Contracts above the Cardano Platform. Cardashift is a community-driven startup platform that raises funds, builds and accelerates startups that solve social and environmental problems.

Language: Haskell - Size: 1.16 MB - Last synced at: 4 months ago - Pushed at: over 2 years ago - Stars: 74 - Forks: 27

GlideAngle/flare-timing

Scoring for free flight competitions.

Language: Haskell - Size: 11.3 MB - Last synced at: 16 days ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2

bradrn/cabasa 📦

A generic 2D cellular automaton simulator

Language: Haskell - Size: 320 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 25 - Forks: 1

balsoft/lambda-launcher

Application launcher in haskell. Mostly Just For Fun.

Language: Haskell - Size: 186 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 72 - Forks: 6

tzemanovic/haskell-yesod-realworld-example-app

Exemplary real world application built with Haskell + Yesod

Language: Haskell - Size: 369 KB - Last synced at: 4 months ago - Pushed at: over 3 years ago - Stars: 169 - Forks: 26

HJyup/sudoku-solver

Haskell-based application that solves Sudoku puzzles using the DPLL

Language: Haskell - Size: 15.6 KB - Last synced at: 4 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

prolic/schnorr-cli

Schnorr-CLI tool

Language: Haskell - Size: 24.4 KB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

chreekat/usort

With usort, the sort is you!

Language: Haskell - Size: 399 KB - Last synced at: 3 months ago - Pushed at: 11 months ago - Stars: 3 - Forks: 0

haskell-to-elm/servant-to-elm-example

Full-stack web app, built in a typesafe functional way, where servant-to-elm generates types, decoders/encoders, and fetching functions from Haskell types and Servant endpoint definition to Elm.🤘🏻

Language: Elm - Size: 774 KB - Last synced at: 2 days ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 1

AlexeyDomozhirov/Caves-generator

Simple console cave generator based on a cellular automaton.

Language: Haskell - Size: 53.7 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

t-sasaki915/lisp-interpreter

quite simple Lisp interpreter to practise Lisp

Language: Haskell - Size: 127 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

kutyel/trolleys

🛒 Haskell program to schedule trolleys and shifts randomly!

Language: Haskell - Size: 33.2 KB - Last synced at: 3 months ago - Pushed at: about 1 year ago - Stars: 4 - Forks: 0

Hardchik/haskell-server

Implementing server using haskell

Language: Haskell - Size: 42 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

chris-martin/wordlist

Language: Haskell - Size: 32.2 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

andreafortini/c-simple-parser

Haskell parser for sub-language of C with pattern-matching technique.

Language: Haskell - Size: 4.88 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

kotborealis/gass 📦

Simple simulation of ideal gas written in Haskell

Language: Haskell - Size: 40 KB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

rom3r4/haskell-thesaurus

A Thesaurus desktop application written in Haskell

Language: Haskell - Size: 203 KB - Last synced at: over 1 year ago - Pushed at: over 11 years ago - Stars: 1 - Forks: 0

archiKumari/Haskell-Snake

The Haskell-Snake is the classic snake game developed using Haskell and Bricks library. The game can run on terminal and offers various modes and includes a high score feature for tracking and storing players' best achievements.

Language: Haskell - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

parambirs/hello-scotty 📦

A simple haskell web app using scotty

Language: Haskell - Size: 145 KB - Last synced at: 3 months ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 2

DanRyba253/smh

String manipulation tool written in haskell

Language: Haskell - Size: 8.24 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 0

andreasMazur/PlayYouAHaskell

A Haskell framework and environment to create and play 2D ASCII games within the Bash terminal.

Language: Haskell - Size: 55.7 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

VoodooTeam/starboard-federator 📦

Aggregates starboard security reports from several clusters

Language: Haskell - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 3 - Forks: 0

baftjarjusufi/HANGMAN

Hangman is a guessing game in HASKELL for two or more players. One player thinks of a word, phrase or sentence and the other tries to guess it by suggesting letters within a certain number of guesses. I also made this a little more special by adding only Albanian name cities.

Language: Prolog - Size: 520 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

NickSpyker/GLaDOS

Creating a programming language, including the development of an interpreter.

Language: Haskell - Size: 8.23 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DerYeger/MiniCheck

MiniCheck is a CLI for CTL and bounded LTL model checking on transition systems.

Language: Haskell - Size: 531 KB - Last synced at: 4 months ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 0

jaredponn/Fly-Plane-Fly

A Flappy Bird Spin Off written in Haskell using SDL2.

Language: Haskell - Size: 112 MB - Last synced at: 3 months ago - Pushed at: almost 7 years ago - Stars: 9 - Forks: 0

steadylearner/Haskell

I will record my Haskell learning process. I will collect working code here also.

Language: Haskell - Size: 1.13 MB - Last synced at: 5 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

JJhano/INFO188_AyudantiaParalelismoEnHaskell

Ayudantia para la asignatura INFO188 - UACh sobre paralelismo en haskell utilizando monada par y monada eval-strategy

Language: Haskell - Size: 144 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

herrhotzenplotz/lc

Untyped Lambda Calculus Interpreter in Haskell

Language: Haskell - Size: 82 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

Eventuria/demonstration-gsd

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

Language: Haskell - Size: 1.32 MB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 51 - Forks: 3

err0r500/realworld-app-simple-haskell

TDD with Clean Architectecture (aka Hexagonal, Ports & adapter) in Haskell

Language: Haskell - Size: 228 KB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 46 - Forks: 1

leptonyu/guiguzi 📦

A haskell web project.

Language: Haskell - Size: 628 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 7 - Forks: 0

cpu-byte/Haskell-Text-Based-Adventure-Game

Top down 2D text based adventure game made in vanilla Haskell 🕹🎲

Language: Haskell - Size: 1.31 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

westrik/tinycrm 📦

[abandoned] lightweight CRM (Haskell + React)

Language: JavaScript - Size: 335 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

Tasm-Devil/Onitama

Onitama implementation in ELM and haskell

Language: Elm - Size: 402 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

The-Blockchain-Company/bcc-node

The Blockchain Company.io's Haskell Blockchain Ecosystem derived from Cardano from Byron through Alonzo Eras. The goal is to understand the intricacies of Cardano and to utilize the lessons learned in developing a post quantum secure web2|3 experience.

Language: Haskell - Size: 8.04 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 2

bmrips/sat

A SAT solver using the DPLL algorithm.

Language: Haskell - Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

rubenodamo/haskell-programs

Small, simple tasks to aid overall Haskell competency.

Language: Haskell - Size: 14.6 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 1

monadplus/CPP-lang

Educational imperative statically typed programming language.

Language: Haskell - Size: 148 KB - Last synced at: 6 days ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

richardfm77/truthtables

Truth tables of propositional logic.

Language: Haskell - Size: 12.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

matsubara0507/git-plantation

mixi git challenge の新しい採点システム

Language: Haskell - Size: 642 KB - Last synced at: 3 months ago - Pushed at: about 2 years ago - Stars: 18 - Forks: 1

leptonyu/boots

IoC Monad in Haskell.

Language: Haskell - Size: 251 KB - Last synced at: 20 days ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 1

ksm2/metroc

Compiler for the Metro language

Language: C - Size: 16.2 MB - Last synced at: 28 days ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 0

chris-martin/text-replace

Perform simple replacements in a text file, using a list of search/replace pairs

Language: Haskell - Size: 60.5 KB - Last synced at: 26 days ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 1

viercc/golfing-haskell-exts-judge

Language: Haskell - Size: 14.6 KB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 11 - Forks: 0

viercc/split-text-regex

Split lines of texts into multiple files by regex

Language: Haskell - Size: 4.88 KB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

0x01h/counting-sundays 📦

Counting Sundays in Haskell.

Language: Haskell - Size: 76.2 KB - Last synced at: over 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

matsubara0507/planet-haskell-jp-demo 📦

I want to make Planet Haskell.jp

Language: Haskell - Size: 1.12 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0

matsubara0507/yaml-to-dhall 📦

Roughly implement CLI tool to convert YAML to Dhall

Language: Haskell - Size: 9.77 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 9 - Forks: 0

rushmetra/CP-2122 📦

Program calculus project made using Haskell and using a documented programing approach.

Language: Haskell - Size: 427 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

haskell-application 126 haskell 75 haskell-learning 12 functional-programming 10 haskell-library 8 haskell-exercises 8 servant 5 cabal 5 game 5 command-line 4 docker 3 cardano-modified 3 command-line-tool 3 random 3 scotty 3 flamegraphs 2 brainfuck-interpreter 2 game-development 2 blockchain-technology 2 gui 2 brainfuck 2 bitcoin 2 interpreter 2 sudoku-solver 2 dhall 2 functional-language 2 compiler 2 elm-application 2 cardano 2 functional-programming-examples 2 rest-api 2 plutus 2 haskell-language 2 schedule 2 performance-analysis 2 salak 2 scheduler 2 haskell-stack 2 haskell-tutorial 2 functional 2 cli 2 hacktoberfest 2 react 2 ascii-graphics 2 tui 2 elm 2 elm-lang 2 aws 2 blockchain-platform 2 hydra 2 reactjs 2 monomer 1 blockchain-demo 1 concurrency 1 amazon-web-services 1 smart-contracts 1 beatsaber 1 visualization 1 amazon-s3-storage 1 concurrent-programming 1 haskell-gui 1 cryptocurrency 1 amazon 1 elm-language 1 actuators 1 boots 1 health-check 1 microservice 1 swagger 1 adventure-game 1 text-based 1 react-redux 1 beginner-project 1 rest 1 restful-api 1 blockchain-demo-platform 1 haskell-blockchain 1 nix 1 nix-flake 1 stack 1 sat-solver 1 programming-languages 1 balanced-parentheses 1 logic-proposition 1 sintaxis-analyzer 1 stack-haskell 1 truth-table-generator 1 webassembly 1 text-processing 1 joke 1 documentation-generator 1 latex 1 lhs 1 program-calculus 1 gtk3 1 clock 1 cairo 1 text 1 statistical-analysis 1 educational-project 1