Skip to content
View MolinStepan's full-sized avatar
1 follower · 0 following

Block or report MolinStepan

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

Stars

Showing results

idris-lang / Idris2

A purely functional programming language with first class types

Idris 2,544 379 Updated Dec 18, 2024

ghc / ghc

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,067 708 Updated Dec 21, 2024

emacs-mirror / emacs

Mirror of GNU Emacs

Emacs Lisp 4,473 1,289 Updated Dec 22, 2024

zevlg / telega.el

GNU Emacs telegram client (unofficial)

Emacs Lisp 1,120 85 Updated Dec 20, 2024