Emacs major mode for working with egglog (e-graphs, EqSat + Datalog).

Emacs major mode for editing Agda code embedded in Org (.lagda.org) files

Provides font-lock, REPL integration ( via comint ) and a basic help documentation for the J programming language.

Emacs major-mode for editing GAP files.

Snac is a simple, minimalistic ActivityPub instance written in portable C.

It features:

• Lightweight, minimal dependencies

• Extensive support of ActivityPub operations, e.g. write public notes, follow users, be followed, reply to the notes of others, admire wonderful content (like or boost), write private messages, etc.

• Multiuser support

• Mastodon API support, so Mastodon-compatible apps can be used

• Simple but effective web interface

• Easily-accessed MUTE button to silence users

• Tested interoperability with related software

• No database needed

• Totally JavaScript-free; no cookies either

PolyGlot is a "UCI adapter". It connects a UCI chess engine to an xboard interface.

PolyGlot tries to solve known problems with other adapters. For instance, it detects and reports draws by fifty-move rule, repetition, etc...

Speed Dreams is a car racing simulator featuring high-quality 3D graphics and an accurate physics engine, aiming for maximum realism. Initially forked from TORCS, it features improvements to the graphics and physics simulation, and supports modern input methods such as gamepads by use of the SDL library. It features more than 20 tracks and more than 80 cars to race with. Extra (freely licensed) assets can be downloaded via the in-game download manager.

QVGE is a multiplatform graph editor written in C++/Qt. Its main goal is to make possible visually edit two-dimensional graphs in a simple and intuitive way.

Context Free is a program that generates images from written instructions called a grammar. The program follows the instructions in a few seconds to create images that can contain millions of shapes.

This is the core library of the Gtk2Hs suite of libraries for Haskell based on Gtk+. Gtk+ is an extensive and mature multi-platform toolkit for creating graphical user interfaces.

Euterpea is a domain-specific language embedded in Haskell for computer music research, education, and development, providing both note-level and signal-level abstractions. It is a descendant of Haskore and HasSound, and is intended for both educational purposes as well as serious computer music applications. Euterpea is a wide-spectrum DSL, suitable for high-level music representation, algorithmic composition, and analysis; mid-level concepts such as MIDI; and low-level audio processing, sound synthesis, and instrument design.

Alga is a library for algebraic construction and manipulation of graphs in Haskell.

Parses .eventlog files emitted by GHC 8.0.2 and later. Includes the ghc-events tool permitting, in particular, to dump an event log file as text.

This is a Haskell module for PortMidi audio library, which supports real-time MIDI input and output.

Several classes that extend the Arrow class, and some transformers that implement or lift these classes.

This package implements functions, analogous to those from Data.List, to create and manipulate infinite lists: data Stream a = Cons a (Stream a). It provides alternative definitions for those Prelude functions that make sense for such streams. Note that this package has (almost) nothing to do with the work on Stream Fusion by Duncan Coutts, Roman Leshchinskiy, and Don Stewart.

A flexible Haskell implementation of minimum, maximum, minimum-priority, maximum-priority and custom-ordered heaps.

Lazy SmallCheck is a library for exhaustive, demand-driven testing of Haskell programs. It is based on the idea that if a property holds for a partially-defined input then it must also hold for all fully-defined refinements of the that input. Compared to eager input generation as in SmallCheck,Lazy SmallCheck may require significantly fewer test-cases to verify a property for all inputs up to a given depth.

ThreadScope is a graphical viewer for thread profile information generated by the Glasgow Haskell compiler (GHC).

The Threadscope program allows us to debug the parallel performance of Haskell programs. Using Threadscope we can check to see that work is well balanced across the available processors and spot performance issues relating to garbage collection or poor load balancing.

This package contains simple wrappers around Data.IntMap and Data.IntSet with Enum keys and elements respectively. Especially useful for Int's wrapped with `newtype`.

This package offers a version of <https://hackage.haskell.org/package/base/docs/GHC-Generics.html GHC.Generics> with two important improvements: . 1. The @to@, @from@, @to1@, and @from1@ methods have multiplicity-polymorphic types, allowing them to be used with either traditional Haskell code or linearly typed code. . 2. The representations used for @Generic1@ are modified slightly. As a result, @to1@ and @from1@ never need to use @fmap@. This can <https://gitlab.haskell.org/ghc/ghc/-/issues/15969 greatly improve performance>, and it is <https://github.com/tweag/linear-base/pull/316 necessary to support multiplicity polymorphism>. A smaller change, approximately <https://gitlab.haskell.org/ghc/ghc/-/issues/7492 as proposed by spl>, reduces the number of instances that must be written to actually use @Generic1@ for deriving instances of other classes. . For more details, see the "Generics.Linear" documentation. . The implementation is based on the @generic-deriving@ package, first described in the paper . * /A generic deriving mechanism for Haskell/. Jose Pedro Magalhaes, Atze Dijkstra, Johan Jeuring, and Andres Loeh. Haskell'10. . This library is organized as follows: . * "Generics.Linear" defines the core functionality for generics, including the multiplicity-polymorphic @Generic(1)@ classes and a replacement for the @:.:@ composition type. . * "Generics.Linear.TH" implements Template Haskell functionality for deriving instances of @Generic(1)@. . * "Generics.Linear.Unsafe.ViaGHCGenerics" offers @DerivingVia@ targets to derive @Generic@ and @Generic1@ instances from @"GHC.Generics".'GHC.Generics.Generic'@. Because these instances necessarily use unsafe coercions, their use will likely inhibit full optimization of code using them. . Educational code: the educational modules exported by <https://hackage.haskell.org/package/generic-deriving generic-deriving> have been copied into the @tests\/Generic\/Deriving@ directory in this repository, with the very few modifications required to accommodate the differences between the @Generic1@ representations here and in @base@. All the same caveats apply as in the originals; see that package's @README@.

Write short and concise generic instances of type classes. one-liner is particularly useful for writing default implementations of type class methods.

Efficient and optimized non-empty versions of types from /containers/. Inspired by /non-empty-containers/ library, except attempting a more faithful port (with under-the-hood optimizations) of the full /containers/ API. Also contains a convenient typeclass abstraction for converting betwewen non-empty and possibly-empty variants. See README.md for more information.

This package provides a minimal pretty-printing library for Show instances in Haskell.