wenkokke
Follow
-
py-tree-sitter-talon Public
Parser for Talon files in Python.
-
agda-python Public
A project that packages Agda as a Python package.
-
talondoc Public
Document your Talon scripts using Sphinx.
-
tree-sitter-talon Public
Tree Sitter parser for Talon files.
-
-
-
-
-
py-tree-sitter-type-provider Public
Type providers for tree-sitter in Python.
-
py-doc-printer Public
A Wadler-Leijen Pretty Printer in Python
-
-
io-sim Public
Forked from input-output-hk/io-simHaskell's IO simulator which closely follows core packages (base, async, stm).
Haskell Apache License 2.0 UpdatedFeb 6, 2025 -
-
talon-community Public
Forked from talonhub/communityConfig for talon for Mac, Windows and Linux. Very much in progress.
-
gtk2hs Public
Forked from gtk2hs/gtk2hsGUI library for Haskell based on GTK+
-
-
hlint Public
Forked from ndmitchell/hlintHaskell source code suggestions
Haskell Other UpdatedDec 13, 2024 -
fork4pr-cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedNov 30, 2024 -
example-haskell-wheel Public template
An experiment in publishing a Haskell library as a Python Wheel.
-
-
-
setup-agda Public
Set up a specific version of Agda for your GitHub Actions workflow.
-
schmitty Public
Agda bindings to SMT-LIB2 compatible solvers.
-
fork4pr-vscode-parse-tree Public
Forked from cursorless-dev/vscode-parse-treeDocument syntax tree using tree-sitter
TypeScript MIT License UpdatedSep 13, 2024 -
fork4pr-cursorless Public
Forked from cursorless-dev/cursorlessDon't let the cursor slow you down
TypeScript MIT License UpdatedSep 13, 2024 -
shoggoth Public
Helper functions for building static web pages with shake
-
doctemplates Public
Forked from jgm/doctemplatesPandoc-compatible templating system
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 9, 2024 -
manylinux_ghc Public
A collection of manylinux images to provide a convenient way to distribute binary Python extensions that use Haskell as wheels on Linux.
MIT License UpdatedJun 18, 2024 -
priority-sesh Public
Session Types with Priority in Linear Haskell
-
Agda is a dependently typed programming language / interactive theorem prover.
Haskell Other UpdatedApr 11, 2024