-
-
fslang Public
Language for finitely supported maps, based on graded monads & relevance types
-
-
-
-
haskell-mode Public
Forked from haskell/haskell-modeEmacs mode for Haskell
Emacs Lisp GNU General Public License v3.0 UpdatedSep 11, 2024 -
lexicon Public
Forked from talonvoice/lexiconWord lists for use in Talon
MIT License UpdatedSep 14, 2023 -
ocpo Public
A language with omega-cpo semantics, inspired by Nick Rioux's Granite.
-
ReTestItems.jl Public
Forked from JuliaTesting/ReTestItems.jlRun testitems in parallel.
Julia Other UpdatedMay 1, 2023 -
-
FixedPointDecimals.jl Public
Forked from JuliaMath/FixedPointDecimals.jlJulia fixed-point decimals built from integers
Julia Other UpdatedOct 14, 2022 -
emacs Public
Forked from cursorless-everywhere/emacsMirror of GNU Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedSep 27, 2022 -
haskell-rec-def Public
Forked from nomeata/haskell-rec-defAPIs for more recursive definitions
Haskell BSD 2-Clause "Simplified" License UpdatedSep 22, 2022 -
-
-
talonscript-mode Public
Forked from jcaw/talonscript-mode🦅 Emacs major-mode for .talon files (from Talon Voice).
Emacs Lisp GNU General Public License v3.0 UpdatedSep 7, 2022 -
-
datafun Public
Research on integrating datalog & lambda calculus via monotonicity types
-
talon_layout Public
Remembering and restoring window configuration in talon
Python UpdatedJun 15, 2022 -
indexed_clipboard Public
An indexed clipboard for talon.
-
talon-keeper Public
Implementation of the 'keeper' command for talon voice
Python MIT License UpdatedSep 10, 2021 -
emacs-talon Public
Some emacs talon integration stuff
-
talon_emacs_draft Public
Using emacs as a draft window for talon.
-
knausj_talon Public archive
Forked from talonhub/communityConfig for talon for Mac, Windows and Linux. Very much in progress.
Python MIT License UpdatedAug 6, 2021 -
talon_draft_window Public
Forked from splondike/talon_draft_windowA window for editing prose using the Talon voice control system
Python MIT License UpdatedMar 14, 2021 -
hazel Public
Forked from hazelgrove/hazelHazel, a live functional programming environment with typed holes
Reason MIT License UpdatedFeb 19, 2021 -
-
-
rntztex Public
Styles, a class, and a Makefile for LaTeX projects
-
{{ message }}