-
Utrecht University
- https://git.tomsmeding.com
- https://orcid.org/0000-0002-4986-6820
-
blog.haskell.org-fork Public
Forked from haskell/blog.haskell.orgRepository of the Haskell Blog
JavaScript UpdatedSep 21, 2024 -
-
accelerate-llvm Public
Forked from AccelerateHS/accelerate-llvmLLVM backend for Accelerate
Haskell Other UpdatedSep 14, 2024 -
llvm-pretty Public
Forked from GaloisInc/llvm-prettyAn llvm pretty printer inspired by the haskell llvm binding
Haskell Other UpdatedSep 14, 2024 -
uu-afp.github.io Public
Forked from uu-afp/uu-afp.github.ioUU AFP Summer School Homepage
HTML UpdatedJul 9, 2024 -
-
dunai Public
Forked from ivanperez-keera/dunaiClassic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
Haskell UpdatedJul 4, 2024 -
-
calchs Public
Forked from dbarenholz/calchsLearning project. A calculator implemented in Haskell.
Haskell UpdatedMay 24, 2024 -
c2hs Public
Forked from haskell/c2hsc2hs is a pre-processor for Haskell FFI bindings to C libraries
Haskell Other UpdatedMay 18, 2024 -
cuda Public
Forked from tmcdonell/cudaHaskell FFI bindings to CUDA
Haskell Other UpdatedMay 18, 2024 -
-
ad-dualrev-th Public
Implementation of dual-numbers reverse AD with TemplateHaskell
-
accelerate Public
Forked from AccelerateHS/accelerateEmbedded language for high-performance array computations
-
cabal Public
Forked from haskell/cabalFork of the cabal repository
Haskell Other UpdatedApr 16, 2024 -
-
ghcup-hs Public
Forked from haskell/ghcup-hsHaskell GNU Lesser General Public License v3.0 UpdatedNov 9, 2023 -
efficient-chad-agda Public
Formalised complexity proof for "Efficient CHAD" in Agda
-
haskell-containers Public
Forked from haskell/containersAssorted concrete container types (fork)
Haskell UpdatedJul 9, 2023 -
tensorflow-haskell Public
Forked from tensorflow/haskellHaskell bindings for TensorFlow (fork)
Haskell Apache License 2.0 UpdatedJun 30, 2023 -
tensorflow Public
Forked from tensorflow/tensorflowAn Open Source Machine Learning Framework for Everyone
C++ Apache License 2.0 UpdatedJun 30, 2023 -
libedgetpu Public
Forked from google-coral/libedgetpuFork of google-coral/libedgetpu
C++ Apache License 2.0 UpdatedJun 30, 2023 -
-
accelerate-tensorflow Public
Forked from AccelerateHS/accelerate-tensorflow -
i3status Public
Forked from i3/i3statusGenerates status bar to use with i3bar, dzen2 or xmobar
C BSD 3-Clause "New" or "Revised" License UpdatedApr 25, 2023 -
vim-agda Public
Forked from msuperdock/vim-agdaFork of msuperdock/vim-agda with more extensive command set.
Vim Script MIT License UpdatedApr 11, 2023 -
agda-presburger Public
Forked from gallais/agda-presburgerDeciding Presburger arithmetic in agda
Agda Other UpdatedMar 29, 2023 -
fourmolu Public
Forked from fourmolu/fourmoluA fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
Haskell Other UpdatedJan 30, 2023 -
haddock Public
Forked from haskell/haddockHaskell Documentation Tool
HTML BSD 2-Clause "Simplified" License UpdatedNov 1, 2022 -
bubblewrap Public
Forked from containers/bubblewrapUnprivileged sandboxing tool
C Other UpdatedOct 26, 2022