Skip to content
View edtechdev's full-sized avatar
22 followers · 44 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report edtechdev

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

Lists (1)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

10 stars written in Haskell
Clear filter

jgm / pandoc

Universal markup converter

Haskell 36,034 3,449 Updated Feb 26, 2025

purescript / purescript

A strongly-typed language that compiles to JavaScript

Haskell 8,652 566 Updated Feb 20, 2025

elm / compiler

Compiler for Elm, a functional language for reliable webapps.

Haskell 7,605 658 Updated Jul 17, 2024

unisonweb / unison

A friendly programming language from the future

Haskell 5,922 274 Updated Feb 26, 2025

agda / agda

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

Haskell 2,586 367 Updated Feb 26, 2025

lamdu / lamdu

lamdu - towards the next generation IDE

Haskell 1,862 73 Updated Feb 19, 2025

srid / neuron

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Haskell 1,524 150 Updated May 22, 2023

quchen / articles

Miscellaneous articles. The readme is the table of contents.

Haskell 1,258 92 Updated Jul 12, 2023

visi-lang / visi

The Visi Language and iPad IDE

Haskell 140 4 Updated Mar 13, 2013

futrnostr / futr

nostr client app written in haskell and qt5

Haskell 61 2 Updated Feb 25, 2025

Starred topics