Owner

alt-romes

6 indexierte Repositories · Auf GitHub ansehen

programmer-calculator
Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

C · 590 Sterne
hegg
Fast equality saturation in Haskell

Haskell · 98 Sterne
ghengin
Ghengin: A vulkan-based, shader-centric, type-heavy, Haskell game engine

Haskell · 85 Sterne
haskell-swift
Haskell x Swift interoperability libraries and tools

Haskell · 10 Sterne
minecraft-dhall
Draft: Minecraft mod development with Dhall

Haskell · 2 Sterne
cob-hs

Haskell · 1 Stern

Offen Alle

Bisher 30 offene Issues indexiert

Note for no rewrite Offen

alt-romes/minecraft-dhall#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Copy Files phase should be updated if the cabal list-bin foreign-lib result changes Offen

hxs tool

alt-romes/haskell-swift#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
cabal list-bin --project-dir is unsupported by cabal < 3.11 Offen

good first issue hxs tool

alt-romes/haskell-swift#2 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
List created files on init Offen

good first issue hxs tool

alt-romes/haskell-swift#3 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
If newly created project includes Tests, hxs init fails. Offen

hxs tool ruby

alt-romes/haskell-swift#4 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Rename {find,canonicalize} to unsafe{Find,Canonicalize} Offen

alt-romes/hegg#1 · 4 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Parent nodes are not deduplicated Offen

alt-romes/hegg#21 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Module wrapping e-graphs to use custom e-class-ids Offen

question

alt-romes/hegg#23 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Refer to join semilattice in Analysis documentation Offen

documentation good first issue

alt-romes/hegg#28 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Direct rewrite rules Offen

alt-romes/hegg#29 · 4 Kommentare · 2 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
E-Matching Non-Canonical Nodes Offen

alt-romes/hegg#34 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
E-Analysis in test/Sym.hs Offen

alt-romes/hegg#35 · 0 Kommentare · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
Release 0.7.0 Offen

alt-romes/hegg#42 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Scheduler: Allow configuring max number of iterations of rewrites Offen

enhancement good first issue help wanted

alt-romes/hegg#43 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Unify monadic and pure implementation Offen

alt-romes/hegg#55 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
runEqualitySaturation should be configurable Offen

alt-romes/hegg#56 · 2 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for Domain creation and manipulation Offen

alt-romes/cob-hs#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Document how supported mkRecord types are interpreted Offen

alt-romes/cob-hs#2 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for multiple select options Offen

alt-romes/cob-hs#3 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Default anonymous session Offen

alt-romes/cob-hs#4 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Removing occurrences of Unsafe.toLinear from ghengin-vulkan Offen

alt-romes/ghengin#1 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Make Ghengin use an unrestricted monad Offen

alt-romes/ghengin#2 · 0 Kommentare · 0 Reaktionen · 1 zugewiesene Person · Indexiert am 13.9.2026
Rendering dynamic list of meshes Offen

alt-romes/ghengin#7 · 5 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Fix function-drawing example Offen

alt-romes/ghengin#12 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Add support for screenshots and post them automatically in CI Offen

alt-romes/ghengin#26 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Windows binary Offen

help wanted

alt-romes/programmer-calculator#65 · 1 Kommentar · 1 Reaktion · 0 zugewiesene Personen · Indexiert am 13.9.2026
CI packaging Offen

good first issue help wanted

alt-romes/programmer-calculator#88 · 1 Kommentar · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Feature request: ability to see non-whole numbers Offen

alt-romes/programmer-calculator#96 · 3 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Feature request Offen

enhancement

alt-romes/programmer-calculator#102 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026
Broken AUR package Offen

alt-romes/programmer-calculator#106 · 0 Kommentare · 0 Reaktionen · 0 zugewiesene Personen · Indexiert am 13.9.2026

alt-romes

Neue Issues direkt in Ihr Postfach