-
roy ▣
Small functional language that compiles to JavaScript.
JavaScript ★ 840 12y agoExplain → -
bilby.js
Serious functional programming library for JavaScript.
JavaScript ★ 588 12y agoExplain → -
toggle-osx-shadows
Tiny tool to toggle window shadows on OS X
C ★ 410 10y agoExplain → -
Honer.app
OS X application to draw a border around the focused window
Objective-C ★ 301 5y agoExplain → -
iridium
xmonad with the X11 abstracted and configured with Idris
Idris ★ 209 7y agoExplain → -
nix-files
My NixOS configuration and custom Nix derivations.
Nix ★ 157 1mo agoExplain → -
brushtail
JS AST rewriter for tail call elimination
JavaScript ★ 134 13y agoExplain → -
node-webgl
WebGL addon for node.js
C++ ★ 105 9y agoExplain → -
heroku-buildpack-haskell ⑂
Heroku buildpack for Haskell
Shell ★ 76 13y agoExplain → -
wat-collection
Collection of "wat" moments in various languages
PHP ★ 75 7y agoExplain → -
sonic2
Sonic the Hedgehog 2 in Haskell
Haskell ★ 67 4y agoExplain → -
osxmonad ⑂
Tiling window manager for Mac OS X.
Haskell ★ 58 7y agoExplain → -
node-cgi
A CGI adaptor for node.js
JavaScript ★ 54 14y agoExplain → -
free-graphs
Generate GraphViz graphs by interpretting free monads.
Haskell ★ 52 12y agoExplain → -
game-of-comonads.js
Pure and comonadic Game of Life in Fantasy Land compatible JavaScript
JavaScript ★ 43 12y agoExplain → -
bam-idris-blog
Static blog generator in Idris.
Idris ★ 40 11y agoExplain → -
rephrase
Rewrite rules for JavaScript.
JavaScript ★ 39 12y agoExplain → -
haskell-buildpack-demo
Demo of the Heroku Haskell Buildpack
Haskell ★ 39 13y agoExplain → -
tryidris
Try Idris
JavaScript ★ 34 10y agoExplain → -
crosscheck
Using QuickCheck to test functions in other languages/environments.
Haskell ★ 33 11y agoExplain → -
licentious ▣
License your GitHub repository in seconds
Haskell ★ 28 13y agoExplain → -
atsboot
A tiny 32 bit kernel written in ATS
Assembly ★ 26 12y agoExplain → -
eta-android
Quick example of Eta on Android
Java ★ 24 9y agoExplain → -
haskell-jwt
JSON Web Token (JWT) decoding and encoding
Haskell ★ 23 1y agoExplain → -
language-scala
Pretty printer of Scala
Haskell ★ 20 5y agoExplain → -
leftpad.hs
Verified left pad
Haskell ★ 19 8y agoExplain → -
c4-model
Haskell implementation of C4 model, for specifying software architecture
Nix ★ 18 3y agoExplain → -
th-pprint
Simplify and render Template Haskell
Haskell ★ 18 7y agoExplain → -
fo
Overloaded operators for Fantasy Land compatible JavaScript.
JavaScript ★ 17 13y agoExplain → -
purescript-streams
Compositional, streaming I/O library (unfinished)
PureScript ★ 13 10y agoExplain → -
game-of-comonads
Game of Life written using a Comonadic grid/board and Ncurses.
Haskell ★ 12 12y agoExplain → -
type-search
Hoogle's core type search algorithm, as a library
Haskell ★ 12 2mo agoExplain → -
nix-command-store-plugin
Arbitrary commands as remote Nix stores
C++ ★ 11 8y agoExplain → -
scrappy
Better Scala for-comprehensions using paradise's annotation macros
Scala ★ 10 11y agoExplain → -
kosinski
Compression used in Sonic the Hedgehog
Haskell ★ 10 8y agoExplain → -
purescript-webrtc
PureScript WebRTC bindings
PureScript ★ 9 9y agoExplain → -
editpipe
Edit stdin using an editor before sending to stdout.
Haskell ★ 8 10y agoExplain → -
confining-strut
Sets an engine independent toString on Functions
JavaScript ★ 8 12y agoExplain → -
fp-course ⑂
Functional Programming Course
Haskell ★ 8 3y agoExplain → -
blimp
Small Haskell to JVM compiler
Haskell ★ 8 13y agoExplain → -
nottobii
Driver and tools for the Tobii Eye Tracker 5
Rust ★ 7 3mo agoExplain → -
type-algebra
Haskell library for operations on type algebra, e.g. inhabitant counting
Haskell ★ 7 1y agoExplain → -
idris-partiality
The partiality monad in Idris.
Idris ★ 7 11y agoExplain → -
crab-chrome
Chrome Extension to allow Chrome as a Crab remote browsing client.
JavaScript ★ 6 12y agoExplain → -
lam
Experiment in generating a functional Java library from Haskell
Haskell ★ 6 5y agoExplain → -
amqp-pathwatcher
Dump close_write inotify events onto an AMQP queue.
Haskell ★ 6 11y agoExplain → -
megadrive-palette
Palettes for Sega Mega Drive (and Genesis)
Haskell ★ 6 8y agoExplain → -
emu.js
Simple JavaScript documentation generator.
JavaScript ★ 5 10y agoExplain → -
idris-workshop
Small collection of Idris exercises
Idris ★ 5 12y agoExplain → -
wasm-encoder
Haskell low-level WebAssembly encoder
Haskell ★ 4 2mo agoExplain → -
epever
Communicating to a Epever/Epsolar Tracer A series charge controller via Modbus
Haskell ★ 4 8y agoExplain → -
macgiffer
OS X screencast as a GIF, using just a paperclip and a sock.
Objective-C ★ 4 12y agoExplain → -
bounded-array
Arrays with a value for every index
Haskell ★ 4 2y agoExplain → -
reaktor-hands-on
Reaktor Hands On: Pure Functional Programming in Plain JavaScript
JavaScript ★ 4 13y agoExplain → -
halves
Splitting/combining data structures to/from halves, quarters, eighths
Haskell ★ 4 5y agoExplain → -
novation-launchpad
Haskell for the Novation Launchpad
Haskell ★ 4 8y agoExplain → -
puffyterm
GTK-based terminal emulator configured using Haskell
Haskell ★ 4 10y agoExplain → -
awsom
Implemenation of a Self-Organising Map using Python
Python ★ 4 17y agoExplain → -
cufp-2015-tutorial-purescript
Code developed during the PureScript Tutorial at CUFP 2015
PureScript ★ 3 10y agoExplain → -
purescript-functor-semigroups
Semigroups for instances of the functor hierarchy.
PureScript ★ 3 10y agoExplain → -
lastresort
Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").
Haskell ★ 3 13y agoExplain → -
haskell-hangouts
Projects from the Haskell Hangouts
Haskell ★ 3 13y agoExplain → -
stack-nix
No description.
Haskell ★ 3 10y agoExplain → -
roku-api
Bindings to Roku's External Control API
Haskell ★ 3 8y agoExplain → -
haskell-pprof
Continuous profiling for GHC programs
Haskell ★ 2 16d agoExplain → -
crypto-keys-ssh
Parse SSH keys
Haskell ★ 2 2y agoExplain → -
hnchumby
A Hacker News client for Chumby.
ActionScript ★ 2 12y agoExplain → -
functional-light-js ⑂
A book about functional programming in JavaScript.
★ 2 9y agoExplain → -
puffnfresh-ghc-plugin-lens
No description.
Haskell ★ 2 4y agoExplain → -
ProfunctorBot
LambdaBot on Twitch
Nix ★ 2 8y agoExplain → -
Monocle ⑂
Optics library for Scala
Scala ★ 2 10y agoExplain → -
yesod-buildpack-demo
Demo of a Yesod application deployed to Heroku using the Haskell Buildpack
Haskell ★ 2 13y agoExplain → -
scander
Single file PHP remote administration
PHP ★ 2 17y agoExplain → -
nix ⑂
Nix, the purely functional package manager
C++ ★ 1 2mo agoExplain → -
flake-compat ⑂
No description.
★ 1 2y agoExplain → -
plato ⑂
Document reader
★ 1 3y agoExplain → -
nixpkgs ⑂
Nix Packages collection
Nix ★ 1 3mo agoExplain → -
haskellweekly ⑂
Publishes curated news about the Haskell programming language.
★ 1 1y agoExplain → -
node ⑂
evented I/O for v8 javascript
C++ ★ 1 16y agoExplain → -
cufp-2015-tutorial ⑂
An introductory tutorial for the Coq proof assistant.
Coq ★ 1 10y agoExplain → -
prelim-monoid
Monoid
Haskell ★ 1 10y agoExplain → -
purescript ⑂
A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks
Haskell ★ 1 10y agoExplain → -
miso ⑂
:ramen: A tasty Haskell front-end framework
Haskell ★ 1 6y agoExplain → -
termux-packages ⑂
Android terminal emulator and Linux environment - packages repository.
Shell ★ 1 9y agoExplain → -
rsahub
Easily send encrypted messages to GitHub users.
Haskell ★ 1 11y agoExplain → -
papa-prelude-core
Useful functions from Prelude, or reimplemented from base
Haskell ★ 1 9y agoExplain → -
word4
Provides Word4, half a Word8
Haskell ★ 1 8y agoExplain → -
eta-midi-player
No description.
Haskell ★ 1 7y agoExplain → -
git-log-impact
Shows a chart of lines added to a repository (as recorded by git log)
Haskell ★ 1 7y agoExplain → -
bosatsu ⑂
A python-ish pure and total functional programming language
Scala ★ 1 7y agoExplain → -
kiks-scilab
Port of KiKS to SciLab
★ 1 17y agoExplain → -
sicp-exercises
Structure and Interpretation of Computer Programs Exercises (in Scheme)
Scheme ★ 1 16y agoExplain → -
fiery-biscuits
An entry for PyWeek
★ 1 17y agoExplain → -
spire ⑂
Powerful new number types and numeric abstractions for Scala.
Scala ★ 1 12y agoExplain → -
splice ⑂
Splice repository
★ 0 1mo agoExplain → -
agent-sandbox.nix ⑂
Lightweight and declarative sandboxing for AI agents on Linux and macOS using Nix.
Nix ★ 0 2mo agoExplain → -
gitea-mq ⑂
A merge queue for Gitea. Serializes PR merges so your main branch stays green.
★ 0 2mo agoExplain → -
rules_kotlin ⑂
Bazel rules for Kotlin
Kotlin ★ 0 6y agoExplain → -
pcre2 ⑂
PCRE2 development is based here.
★ 0 2mo agoExplain → -
brush ⑂
🐚bash/POSIX-compatible shell implemented in Rust 🦀
★ 0 2mo agoExplain → -
nova-cache ⑂
Nix binary cache protocol library for Haskell
★ 0 3mo agoExplain → -
Battery-Emulator ⑂
This software enables EV battery packs to be used for stationary storage in combination with solar inverters.
C++ ★ 0 4mo agoExplain → -
lner-docs
No description.
TeX ★ 0 4mo agoExplain → -
claude-code-gitea-action ⑂
A gitea version of the claude-code-action
★ 0 4mo agoExplain → -
spring-fu ⑂
Programmatic configuration for Spring Boot using Java & Kotlin DSLs
★ 0 6y agoExplain → -
nix-kube-generators ⑂
A set of functions helping to generate k8s yamls.
★ 0 7mo agoExplain → -
robotnix ⑂
Build Android (AOSP) using Nix [maintainer=@danielfullmer,@Atemu,@cyclic-pentane]
★ 0 1mo agoExplain → -
disable-windows-keys ⑂
A tiny application that disables the Windows keys of your keyboard. Very useful in games!
C ★ 0 8mo agoExplain → -
rail-assist-vehicle-simulation
Simulation of Launceston & North East Railway's electric assist vehicle
HTML ★ 0 10mo agoExplain → -
kittycad-modeling-app ⑂
The KittyCAD modeling app.
★ 0 1y agoExplain → -
binary ⑂
Efficient, pure binary serialisation using ByteStrings in Haskell.
Haskell ★ 0 10y agoExplain → -
rules_jvm_external ⑂
Rules to resolve and fetch artifacts transitively from Maven repositories
Python ★ 0 6y agoExplain → -
doobie ⑂
principled database access for scala
Scala ★ 0 10y agoExplain → -
unison-share-ui ⑂
The UI for Unison Share
★ 0 1y agoExplain → -
unison-share-api ⑂
Unison Share's backend server
★ 0 1y agoExplain → -
unison ⑂
A friendly programming language from the future
Haskell ★ 0 1y agoExplain → -
RSDKv5-Decompilation ⑂
A complete decompilation of Retro Engine (v5)
★ 0 2y agoExplain → -
mobile-nixos ⑂
No description.
★ 0 3y agoExplain → -
seafield-battery
Battery design and code for Seafield
Nix ★ 0 2y agoExplain → -
dynamic ⑂
Dynamic typing in Haskell
Haskell ★ 0 7y agoExplain → -
fsharpbinding ⑂
F# language binding for MonoDevelop
F# ★ 0 15y agoExplain → -
wasm-spec-gc ⑂
Branch of the spec repo scoped to discussion of GC integration in WebAssembly
★ 0 2y agoExplain → -
via-keyboards ⑂
No description.
★ 0 2y agoExplain → -
qmk_firmware ⑂
Open-source keyboard firmware for Atmel AVR and Arm USB families
★ 0 2y agoExplain → -
sockdump ⑂
Dump unix domain socket traffic with bpf
★ 0 3y agoExplain → -
nixified-ai-flake ⑂
A Nix flake for many AI projects
★ 0 3y agoExplain → -
batocera.linux ⑂
batocera.linux
★ 0 3y agoExplain → -
hakyll ⑂
A static website compiler library in Haskell
★ 0 3y agoExplain → -
json-ld ⑂
JSON-LD implementation
★ 0 3y agoExplain → -
openfx-supportext ⑂
Extensions for the OpenFX Support library
★ 0 3y agoExplain → -
evsieve ⑂
A utility for mapping events from Linux event devices.
★ 0 3y agoExplain → -
papa ⑂
Reasonable Haskell default import
Haskell ★ 0 3y agoExplain → -
haskell.nix ⑂
Alternative Haskell Infrastructure for Nixpkgs
★ 0 3y agoExplain → -
RetroArch ⑂
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
★ 0 3y agoExplain → -
linux ⑂
Linux kernel source tree
★ 0 3y agoExplain → -
sxmo-nix ⑂
No description.
★ 0 4y agoExplain → -
spring-cloud-gateway ⑂
A Gateway built on Spring Framework and Spring Boot providing routing and more.
★ 0 4y agoExplain → -
slurp ⑂
Select a region in a Wayland compositor
★ 0 4y agoExplain → -
matrix-hookshot ⑂
A bridge between Matrix and multiple project management services, such as GitHub, GitLab and JIRA.
★ 0 4y agoExplain → -
home-manager ⑂
Manage a user environment using Nix [maintainer=@rycee]
★ 0 4y agoExplain → -
haskell-tree-sitter ⑂
Haskell bindings for tree-sitter
★ 0 5y agoExplain → -
gp-vaccine-search ⑂
Unofficial Australian GP AstraZeneca Search. Searches HotDoc for nearby GPs, and ranks them by their next available appointment for first AstraZeneca dose.
★ 0 4y agoExplain → -
terraform-provider-anaml ⑂
A simple CRUD terraform provider with Anaml type definitions
★ 0 5y agoExplain → -
nix-tools ⑂
Translate Cabals Generic Package Description to a Nix expression
★ 0 5y agoExplain → -
wlroots ⑂
A modular Wayland compositor library
★ 0 5y agoExplain → -
language-java ⑂
Java parser and printer for haskell
★ 0 5y agoExplain → -
invariant-functors ⑂
the 'invariant' Haskell package for invariant functors
Haskell ★ 0 8y agoExplain → -
cardano-sl ⑂
Cryptographic currency implementing Ouroboros PoS protocol
Haskell ★ 0 8y agoExplain → -
dante ⑂
No description.
Emacs Lisp ★ 0 9y agoExplain → -
purescript-optic ⑂
No description.
PureScript ★ 0 10y agoExplain → -
monad-trans-scalasyd
Monad transformers presentation for ScalaSyd
JavaScript ★ 0 14y agoExplain → -
fay ⑂
A strict subset of Haskell that compiles to JavaScript
Haskell ★ 0 14y agoExplain → -
aos ⑂
Applied operating system - an operating system kernel written in the ATS programming language.
Assembly ★ 0 14y agoExplain → -
planet-wars-haskell ⑂
Unofficial Haskell starter package for the Planet Wars AI contest
Haskell ★ 0 16y agoExplain → -
wideq ⑂
reverse-engineered client for the LG SmartThinQ API
★ 0 5y agoExplain → -
babybuddy ⑂
A :baby: buddy to help caregivers track sleep, feedings, diaper changes, and tummy time to learn about and predict baby's needs without (as much) guess work.
★ 0 5y agoExplain → -
wreq ⑂
No description.
★ 0 11y agoExplain → -
aeson ⑂
A fast Haskell JSON library
Haskell ★ 0 12y agoExplain → -
slamengine ⑂
The engine for SlamData
Scala ★ 0 11y agoExplain → -
introduction-to-fp-in-scala ⑂
A softer introduction to fp in scala course, based on patterns-in-types and the nicta course.
Scala ★ 0 7y agoExplain → -
cubix ⑂
The Cubix framework for multi-language transformation. Explained in the OOPSLA 2018 paper "One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax"
★ 0 5y agoExplain → -
cubix-tutorial ⑂
Tutorial exercises for Cubix framework
★ 0 5y agoExplain → -
openpgp-skt ⑂
Share private key between OpenGPG and OpenKeychain
★ 0 5y agoExplain → -
scalaz-stream ⑂
Compositional, streaming I/O library for Scala
★ 0 12y agoExplain → -
tickle ⑂
Port of Data.Binary with tighter data types and parameterised error messages
Haskell ★ 0 3y agoExplain → -
vscode-hie-server ⑂
VsCode extension for Haskell, as a front end for haskell-ide-engine
★ 0 6y agoExplain → -
mongo-java-driver ⑂
The Java driver for MongoDB
★ 0 6y agoExplain → -
nix.dev ⑂
An opinionated guide for developers wanting to get things done with Nix
★ 0 6y agoExplain → -
haskell-language-server ⑂
Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.
★ 0 5y agoExplain → -
kan-extensions ⑂
Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
Haskell ★ 0 8y agoExplain → -
purescript-smash ⑂
An extensible effect system built out of comonads and Day convolution.
PureScript ★ 0 8y agoExplain → -
categorical ⑂
Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
Haskell ★ 0 9y agoExplain → -
purescript-profunctor-lenses ⑂
Pure profunctor lenses
PureScript ★ 0 9y agoExplain → -
monad-loops ⑂
Some useful control operators for looping
Haskell ★ 0 10y agoExplain → -
frege ⑂
Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.
Frege ★ 0 10y agoExplain → -
purescript-these ⑂
Data type ismorphic to α ∨ β ∨ (α ∧ β)
PureScript ★ 0 10y agoExplain → -
purescript-canvas ⑂
Canvas bindings for PureScript
PureScript ★ 0 11y agoExplain → -
Idris-dev ⑂
A Dependently Typed Functional Programming Language
Haskell ★ 0 11y agoExplain → -
scala ⑂
The Scala programming language
★ 0 11y agoExplain → -
purescript-free ⑂
No description.
PureScript ★ 0 12y agoExplain → -
wai ⑂
Haskell Web Application Interface
Haskell ★ 0 7y agoExplain → -
haskell-editor-setup ⑂
Easy instructions for setting up Haskell editors / IDEs on any major operating system.
★ 0 6y agoExplain → -
all-hies ⑂
Cached Haskell IDE Engine Nix builds for all GHC versions
★ 0 6y agoExplain → -
purescript-halogen ⑂
A declarative, type-safe UI library for PureScript.
PureScript ★ 0 11y agoExplain → -
inline-java ⑂
Haskell/Java interop via inline Java code in Haskell modules.
★ 0 6y agoExplain → -
oh-my-zsh ⑂
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Shell ★ 0 2y agoExplain → -
juspay-2019-purescript
No description.
PureScript ★ 0 6y agoExplain → -
base ⑂
Unison base libraries
Roff ★ 0 6y agoExplain → -
twitchcoq ⑂
A highly typed language we can prove things in
★ 0 6y agoExplain → -
sofp ⑂
The Science of Functional Programming book
★ 0 6y agoExplain → -
junit5-samples ⑂
Collection of sample applications using JUnit 5.
★ 0 6y agoExplain → -
wiki ⑂
Research wiki
★ 0 6y agoExplain → -
battle-engine ⑂
No description.
★ 0 6y agoExplain → -
dataflow ⑂
Render graphs using a declarative markup.
Haskell ★ 0 6y agoExplain → -
structurizr-java ⑂
Structurizr for Java
Java ★ 0 6y agoExplain → -
DefinitelyTyped ⑂
The repository for high quality TypeScript type definitions.
TypeScript ★ 0 6y agoExplain → -
hoogle ⑂
Haskell API search engine
Haskell ★ 0 7y agoExplain → -
docker-codescene-nginx-self-signed-ssl ⑂
Packages CodeScene in one container, Nginx proxy with self-signed cert in another, and composes them to one service. Ideas from codeclou/docker-nginx-self-signed-ssl.
Dockerfile ★ 0 7y agoExplain → -
katip ⑂
A structured logging framework for Haskell
Haskell ★ 0 7y agoExplain → -
hnix-store ⑂
Haskell implementation of the nix store API
Haskell ★ 0 7y agoExplain →
No repos match these filters.