the-thoralf-pluginThis a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
Stars: ✭ 22 (-91.41%)
smuggler2Minimise haskell imports, make exports explicit
Stars: ✭ 18 (-92.97%)
wp-offlineUse WordPress without all online-checks. Deactivate autoupdate for core, plugins and themes
Stars: ✭ 47 (-81.64%)
ghc-alt-libcGHC compiled against musl & uClibc
Stars: ✭ 41 (-83.98%)
All HiesCached Haskell IDE Engine Nix builds for all GHC versions
Stars: ✭ 201 (-21.48%)
ghc-stackHacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)
Stars: ✭ 69 (-73.05%)
htomlTOML file format parser in Haskell
Stars: ✭ 39 (-84.77%)
raeA docker-compose development environment orchestrator
Stars: ✭ 13 (-94.92%)
Ghc GrinGRIN backend for GHC
Stars: ✭ 123 (-51.95%)
Intent.ModulesCommon modules and designers for Intent Architect
Stars: ✭ 21 (-91.8%)
docker-devA local Docker Environment for building PHP applications 🔨
Stars: ✭ 97 (-62.11%)
Pi-PoolCardano Stakepool on Raspberry Pi
Stars: ✭ 204 (-20.31%)
fast-blazorBlazor component library for FluentUI. Microsoft's official lightweight wrapper around the FluentUI Web Components for use with .NET 6.0 Blazor applications
Stars: ✭ 928 (+262.5%)
haskell-hot-swapHot swapping compiled code while keeping a websocket connection open
Stars: ✭ 24 (-90.62%)
vabalcabal in Valle
Stars: ✭ 43 (-83.2%)
json-serverCreate a dummy REST API from a json file with zero coding in seconds
Stars: ✭ 34 (-86.72%)
treblle-laravelThe offical Treblle package for Laravel
Stars: ✭ 43 (-83.2%)
HiggledyHigher-kinded data via generics
Stars: ✭ 153 (-40.23%)
ghcide-nixNix installation for ghcide
Stars: ✭ 76 (-70.31%)
what-it-doAutomatically trace all (showable) binds in do expressions
Stars: ✭ 81 (-68.36%)
Haste CompilerA GHC-based Haskell to JavaScript compiler
Stars: ✭ 1,429 (+458.2%)
OpenHSPHot Soup Processor (HSP3)
Stars: ✭ 120 (-53.12%)
MathJax-devBuild and release tools for the MathJax project
Stars: ✭ 34 (-86.72%)
zzzGo程序热编译、压力测试等,日常开发辅助工具,提升开发效率 - Daily development aids
Stars: ✭ 34 (-86.72%)
haskell-code-spotVisual tool to spot odd runtime behaviour of Haskell programs.
Stars: ✭ 106 (-58.59%)
DataStoreVisual develop tool of creating mocked Json
Stars: ✭ 30 (-88.28%)
php-switch-scripts🔄 Scripts to aid in the setup of and switching between multiple PHP versions in Ubuntu 14.04 LTS or newer
Stars: ✭ 61 (-76.17%)
cdetect🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
Stars: ✭ 23 (-91.02%)
dcload-ipA Dreamcast ethernet loader originally by ADK/Napalm — This project is part of KallistiOS.
Stars: ✭ 25 (-90.23%)
type-naturalType-level well-kinded natural numbers.
Stars: ✭ 32 (-87.5%)
stmSoftware Transactional Memory
Stars: ✭ 74 (-71.09%)
dev-machineAnsible setup for maintaining a development environment
Stars: ✭ 30 (-88.28%)
zsh-haskellghc and cabal completion for zsh shell
Stars: ✭ 18 (-92.97%)
slingringManage development containers like Dr Stephen Strange (MCU).
Stars: ✭ 19 (-92.58%)
data-migratorA declarative data-migration package
Stars: ✭ 15 (-94.14%)
pyuavcanPython implementation of the Cyphal protocol stack.
Stars: ✭ 91 (-64.45%)
GhcupDEPRECATED IN FAVOR OF haskell/ghcup-hs
Stars: ✭ 249 (-2.73%)
OpenHarmony华为鸿蒙分布式操作系统(Huawei OpenHarmony)开发技术交流,鸿蒙技术资料,手册,指南,共建国产操作系统万物互联新生态。
Stars: ✭ 373 (+45.7%)
Haskell Ide EngineThe engine for haskell ide-integration. Not an IDE
Stars: ✭ 2,433 (+850.39%)
cliDo not program API integrations! Install them.
Stars: ✭ 14 (-94.53%)
dev-envInstall and configure a development environment with Ansible (Ubunu 16.04 LTS)
Stars: ✭ 26 (-89.84%)
Haskell GiGenerate Haskell bindings for GObject-Introspection capable libraries
Stars: ✭ 190 (-25.78%)
ghci-hexcalcHaskell/GHCi as a Hex-Calculator interactive
Stars: ✭ 24 (-90.62%)
AsteriusA Haskell to WebAssembly compiler
Stars: ✭ 1,799 (+602.73%)
BileToolsTools for making garbage
Stars: ✭ 31 (-87.89%)
AnyBlokAnyBlok is a Python framework for building business applications.
Stars: ✭ 19 (-92.58%)
ghc-exactprintGHC version of haskell-src-exts exactPrint
Stars: ✭ 59 (-76.95%)
spanner-schema-diff-toolCompare two Cloud Spanner Schema (DDL) files, determine the differences and generate the required ALTER statements to convert one schema to the other.
Stars: ✭ 20 (-92.19%)
nanobox-railsQuickly set up a Ruby on Rails app on Nanobox, the ideal platform for developers. With Nanobox, Rails app developers can set up instant, isolated development environments that can be shared among team members. Rails apps created using Nanobox can be automatically deployed to AWS, Azure, Google Cloud, and other cloud hosts without the need for de…
Stars: ✭ 19 (-92.58%)
mainMocks Server monorepo
Stars: ✭ 109 (-57.42%)