Skip to content
View augyg's full-sized avatar
🀠
🀠

Block or report augyg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

An experimental library for Cubical Agda

Agda 463 141 Updated Jan 6, 2025

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Haskell 975 29 Updated Dec 3, 2024

Haskell Protobuf Implementation

Haskell 81 56 Updated Jan 17, 2025

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,551 364 Updated Jan 18, 2025

#1 Locally hosted web application that allows you to perform various operations on PDF files

Java 48,945 4,035 Updated Jan 18, 2025

Reddit Clone written in Haskell and Postgres

Haskell 17 3 Updated Jan 15, 2025

Documentation that simply works

HTML 21,781 3,618 Updated Jan 18, 2025

Literate Haskell support for Markdown

Haskell 139 16 Updated Dec 21, 2024

Liquid Types For Haskell

Haskell 1,212 139 Updated Jan 17, 2025

Truly independent web browser

C++ 27,308 1,173 Updated Jan 18, 2025

Haskell library for the Microsoft Language Server Protocol

Haskell 377 92 Updated Dec 31, 2024
Haskell 27 18 Updated Jan 10, 2025

Music pattern language + live coding environment

Haskell 5 2 Updated Jan 1, 2025

A Simple Model Of A Computer

HTML 20 3 Updated Jan 8, 2024

Purely functional web and distributed programming with Reflex FRP

Haskell 8 Updated Jun 12, 2022

Functional Reactive Programming domain-specific language for efficient hybrid systems

Haskell 451 52 Updated Dec 8, 2024

Large World Model -- Modeling Text and Video with Millions Context

Python 7,207 554 Updated Oct 19, 2024

😎 Awesome lists about all kinds of interesting topics

342,350 28,298 Updated Dec 12, 2024

πŸ“œ Haskell course info, plan, video lectures, slides

Haskell 1,326 57 Updated Jul 9, 2023

Call Haskell functions from any programming language via serialization and dynamic libraries

Haskell 396 19 Updated Jun 17, 2022

OpenMoji for Haskell

Haskell 2 Updated Jan 26, 2024

Aeson instances for ByteString, using base 64 encoding

Haskell 1 Updated Jan 14, 2025

React bindings for Haskell

Haskell 352 26 Updated Aug 2, 2015

What if you never had to write CSS again?

Elm 1,361 110 Updated Nov 23, 2024

πŸ‘… Parse Haskell Language Extensions

Haskell 48 9 Updated Dec 16, 2024

Git with a cup of tea! Painless self-hosted all-in-one software development service, including Git hosting, code review, team collaboration, package registry and CI/CD

Go 46,656 5,610 Updated Jan 18, 2025

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

Rust 1,168 51 Updated Nov 27, 2024

Robust Speech Recognition via Large-Scale Weak Supervision

Python 74,549 8,910 Updated Jan 4, 2025

Interactively browse dependency graphs of Nix derivations.

Haskell 795 16 Updated Jan 11, 2025

πŸ“± (rebooting... please wait...)

C 932 188 Updated Jan 14, 2025
Next
Showing results