Beast code in Giters

Alias Qli's repositories

tactics

Language:Agda16 20

GramHs

Language:HaskellBSD-3-Clause6 10

CEval

Language:HaskellBSD-3-Clause5 10

asphalt

Language:Haskell4 10

aliasqli.github.io

Language:JavaScript2 10

ExistOS-For-HP39GII

Language:CGPL-3.0200

TwitterRecycle

Language:KotlinGPL-3.02 10

waveforce

Language:Lean2 10

dialogue

Implement I/O described in Haskell Report 1.2.

Language:HaskellBSD-3-Clause1 10

liber

Language:HaskellBSD-3-Clause1 10

magical-haskell-exercise

Language:Haskell1 10

hackage-server

Hackage-Server: A Haskell Package Repository

Language:HaskellNOASSERTION001

Affine-HM

Language:TeX01 1

arXivAid

Language:JavaScript010

Brightness

Simple control of the screen brightness.

Language:C++MIT010

Chants-of-Sennaar.typst

Language:Typst000

cmind

Language:Go010

distiller

Language:HaskellNOASSERTION010

edb-unix

Language:C++GPL-3.0000

fairy-ring

Language:TypeScriptAGPL-3.0010

ice1000

🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

Language:Haskell000

Idris2

A purely functional programming language with first class types

Language:SchemeNOASSERTION000

propositional

Language:Agda010

recupd

Language:HaskellNOASSERTION010

Umineko-Launcher

A launcher/updater for Umineko Project CN port

Language:C#BSD-3-Clause000

valeo

Language:HaskellBSD-3-Clause010