Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: libffi
A binding to libffi, allowing C functions of types only known at runtime to be called from Haskell.
3 versions
Latest release: over 1 year ago
2 dependent packages
18,680 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/libffi
Dependent Repos 30
signed/learning-haskell
- 0.1 cabal.config
Size: 83 KB - Last synced: about 1 month ago - Pushed: about 6 years ago
remiturk/libffi
A Haskell binding to libffi.- * examples/libffi-examples.cabal
Size: 65.4 KB - Last synced: about 1 year ago - Pushed: over 1 year ago
lesguillemets/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.7 MB - Last synced: 9 months ago - Pushed: over 8 years ago
etorreborre/producer-hs
Simple streaming library for Haskell- 0.1 cabal.config
Size: 39.1 KB - Last synced: 9 days ago - Pushed: over 6 years ago
google/haskell-indexer
Emits code crossreference data for Haskell sources.- ==0.1 wrappers/stack-docker/everything/everything.cabal
Size: 447 KB - Last synced: 2 days ago - Pushed: almost 4 years ago
querl.dox/linux/alpine_linux/aports
- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Last synced: 11 months ago
chetant/idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 7.56 MB - Last synced: over 1 year ago
mankyKitty/haskell-to-llvm-compiler
LLVM Targetting JIT written in Haskell for Great Good- >=0.1 kaleidoscope.cabal
Size: 8.14 MB - Last synced: 27 days ago - Pushed: about 10 years ago
sdiehl/llvm-codegen 📦
Code generation utils for LLVM- ==0.1 llvm_codegen.cabal
- >=0.1 llvm_codegen.cabal
- ==0.1 llvm_codegen.cabal
Size: 660 KB - Last synced: about 1 year ago - Pushed: over 9 years ago
Engincs/aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 349 MB - Last synced: about 23 hours ago - Pushed: about 24 hours ago
AccelerateHS/accelerate-llvm
LLVM backend for Accelerate- >=0.1 accelerate-llvm-native/accelerate-llvm-native.cabal
Size: 3.88 MB - Last synced: about 2 months ago - Pushed: 6 months ago
kindaro/cabal-prettify
- <0.2 test-data/other/idris.cabal
Size: 356 KB - Last synced: 30 days ago - Pushed: 30 days ago
projedi/haskell-mvm 📦
An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/- * mvm-haskell.cabal
Size: 2.85 MB - Last synced: about 1 year ago - Pushed: over 5 years ago
SamProtas/composable-associations
Library providing polymorphic composition of serialized haskell data to reduce boilerplate.- 0.1 composable-associations/cabal.config
- 0.1 composable-associations-aeson/cabal.config
Size: 47.9 KB - Last synced: 16 days ago - Pushed: about 3 years ago
dnaumenko/learning_notes
Collection of exercises from various books/sites- 0.1 learning_haskell/cabal.config
Size: 4.29 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
steshaw/idris
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 17.2 MB - Last synced: over 1 year ago
jacobstern/hamilton
- 0.1 cabal.config
- 0.1 hamilton/cabal.config
Size: 856 KB - Last synced: over 1 year ago
karelfv/alpinelinux_aports Fork of alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 434 MB - Last synced: about 1 year ago - Pushed: about 1 year ago
smunix-github/prana
Interpreter for GHC Haskell- * prana-interpreter/prana-interpreter.cabal
Last synced: over 1 year ago
victorlcasilva/aports
- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 252 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
tonmoyislam250/mineaports
- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 181 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
steshaw/Idris1
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Last synced: over 1 year ago
lae/haskell-dns-message
Mirrored from https://github.com/laech/haskell-dns-message.git- 0.1 cabal.config
Last synced: over 1 year ago
cynede/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Last synced: over 1 year ago
IreneKnapp/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 10.5 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago
puffnfresh/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 22.5 MB - Last synced: about 1 month ago - Pushed: about 9 years ago
alpinelinux/aports
[MIRROR] Alpine packages build scripts- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 408 MB - Last synced: 27 days ago - Pushed: 27 days ago
bgamari/build-env
- 0.2.1 tests/SEEDS/cabal.config
Size: 271 KB - Last synced: 11 days ago - Pushed: about 1 year ago
kraj/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 383 MB - Last synced: 9 days ago - Pushed: 5 months ago
techniumlabs/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 341 MB - Last synced: 20 days ago - Pushed: 21 days ago
tcely/aports Fork of alpinelinux/aports
Mirror of aports repository- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 343 MB - Last synced: 27 days ago - Pushed: 28 days ago
jcgentry/RubiksCube
- 0.1 cabal.config
Size: 11.8 MB - Last synced: 10 months ago - Pushed: over 6 years ago
onepunchtech/one-punch-linux
- 0.1 cabal.config
Size: 38.1 KB - Last synced: 28 days ago - Pushed: over 6 years ago
develop7/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 24.6 MB - Last synced: 9 months ago - Pushed: almost 9 years ago
monnef/youtube-tool
CLI tool for easy downloading and opening of videos from YouTube.- 0.1 cabal.config
Last synced: about 1 year ago
enolan/stack-download-hang
- <0.2 temp.cabal
Size: 66.4 MB - Last synced: about 1 year ago - Pushed: about 8 years ago
irreverent-pixel-feats/idris-ubuntu-xenial-build-1.1.1
Docker image for idris build environment- <0.2 lib/src/idris-1.1.1/idris.cabal
Size: 1.68 MB - Last synced: 11 months ago - Pushed: over 6 years ago
irreverent-pixel-feats/idris-ubuntu-xenial-build-1.0
Docker image for idris build environment (v 1.0)- <0.2 lib/src/idris-1.0/idris.cabal
Size: 1.73 MB - Last synced: 11 months ago - Pushed: over 6 years ago
johari/minicell
(wip) A rich visicalc dialect with new datatypes inside cells. Recalc or die. 🏴☠️- * minicell.cabal
Size: 1.04 MB - Last synced: 5 months ago - Pushed: 6 months ago
RossMeikleham/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.4 MB - Last synced: 9 months ago - Pushed: over 8 years ago
bkolad/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.4 MB - Last synced: 4 months ago - Pushed: over 8 years ago
linpingchuan/Idris-dev Fork of startling/Idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 10.7 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago
slaven-s/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.4 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
rpglover64/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.4 MB - Last synced: 9 months ago - Pushed: over 8 years ago
Jacob-Holm-Mortensen/my-project
- 0.1 cabal.config
Size: 10.6 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
pnaranja/haskellbook
Exercises and notes while studying The Haskell Book - http://haskellbook.com/- 0.1 chp14/cabal.config
Size: 3.07 MB - Last synced: 20 days ago - Pushed: over 6 years ago
juxtin/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27 MB - Last synced: 9 months ago - Pushed: over 8 years ago
kakamessi99/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27.6 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
minad/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
chrisdone-archive/prana 📦
Interpreter for GHC Haskell- * prana-interpreter/prana-interpreter.cabal
Size: 5.93 MB - Last synced: 9 days ago - Pushed: over 4 years ago
Legogris/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.9 MB - Last synced: 27 days ago - Pushed: over 8 years ago
tolysz/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27 MB - Last synced: 10 months ago - Pushed: over 8 years ago
ExNexu/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.5 MB - Last synced: 10 months ago - Pushed: over 8 years ago
piyush-kurur/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 9.87 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago
mikla/haskell-stack-setup
- 0.1 cabal.config
Size: 21.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago
hadronized/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.5 MB - Last synced: 3 months ago - Pushed: over 8 years ago
dckc/Idris-dev Fork of treeowl/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 23.5 MB - Last synced: about 1 year ago - Pushed: about 9 years ago
taktoa/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
farrellm/inline-julia Fork of tkonolige/inline-julia
Inline Julia code in Haskell- * inline-julia.cabal
Size: 180 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
chroth7/AoCHaskell
Advent of Code - teaching myself how to Haskell (experiments, ideas, testing...)- 0.1 cabal.config
Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
anhmiuhv/learn_haskell
- 0.1 median/cabal.config
Size: 5.49 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
simon-bourne/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.5 MB - Last synced: 24 days ago - Pushed: over 8 years ago
Ivanknmk/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.2 MB - Last synced: about 2 months ago - Pushed: over 8 years ago
typelead/eta-hackage
A set of patches to make Hackage compatible with the Eta language.- <0.2 patches/idris-1.3.0.cabal
Size: 3.75 MB - Last synced: about 1 month ago - Pushed: over 4 years ago
dysinger/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27.1 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
Garciat/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27.1 MB - Last synced: 27 days ago - Pushed: over 8 years ago
goofballLogic/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27.4 MB - Last synced: 27 days ago - Pushed: over 8 years ago
dnaumenko/learning_haskell
- 0.1 cabal.config
Size: 784 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
ForNeVeR/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 27.5 MB - Last synced: 27 days ago - Pushed: over 8 years ago
LukeWinikates/simple
- 0.1 cabal.config
Size: 60.5 KB - Last synced: 25 days ago - Pushed: almost 7 years ago
noname007/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 28.4 MB - Last synced: about 2 months ago - Pushed: over 8 years ago
jthemphill/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 18 MB - Last synced: about 1 year ago - Pushed: almost 10 years ago
DylanHobbs/haskell-shapes
- 0.1 cabal.config
Size: 57.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
romue404/wildsow.hs 📦
A card game implemented in Haskell- 0.1 cabal.config
Size: 11 MB - Last synced: about 1 year ago - Pushed: over 6 years ago
initdc/aports
- 0.1 testing/darcs/cabal.config
- 0.1 testing/stack/cabal.config
Size: 171 MB - Last synced: about 1 year ago - Pushed: over 1 year ago
cantora/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
victoredwardocallaghan/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- * idris.cabal
Size: 10.2 MB - Last synced: about 1 year ago - Pushed: almost 11 years ago
ISANobody/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 25.1 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago
yannick-cw/para-search
searching with haskell- 0.1 cabal.config
Size: 23.4 KB - Last synced: about 2 months ago - Pushed: over 6 years ago
poproulx/99haskell
- 0.1 cabal.config
Size: 39.1 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
abduld/llvmhs
- ==0.1.* llvmhs.cabal
Size: 137 KB - Last synced: about 1 year ago - Pushed: almost 10 years ago
comco/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.5 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
cmcl/Idris-dev Fork of idris-lang/Idris-dev
A Dependently Typed Functional Programming Language- <0.2 idris.cabal
Size: 26.6 MB - Last synced: about 1 year ago - Pushed: over 8 years ago
tkonolige/inline-julia
Inline Julia code in Haskell- * inline-julia.cabal
Size: 180 KB - Last synced: about 1 year ago - Pushed: over 8 years ago
begray/haskell-crawler-example
Wikipedia crawler in Haskell- 0.1 cabal.config
Size: 30.3 KB - Last synced: about 1 year ago - Pushed: over 6 years ago
begray/wiki-crawlers
Wikipedia crawlers implemented in different languages- 0.1 haskell/cabal.config
Size: 85.9 KB - Last synced: about 1 year ago - Pushed: about 4 years ago