Github Repositories Trend
gfngfn/SATySFi
A statically-typed, functional typesetting system
Total stars
982
Stars per day
0
Created at
7 years ago
Related Repositories
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
PowerDNS Authoritative, PowerDNS Recursor, dnsdist
simple terminal UI for git commands
The blockchain that provides the digital content namespace for the LBRY protocol
Primary and community-submitted packages for webinstall.dev
Blast is a full text search and indexing server, written in Go, built on top of Bleve.
CS50 Library for C
Bitcoin Cross-Platform C++ Development Toolkit
P4_16 reference compiler


anoma/juvix
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
Homepage
Total stars
345
Related Repositories

PowerDNS/pdns
PowerDNS Authoritative, PowerDNS Recursor, dnsdist
Homepage
Total stars
2,917
Language
C++
Related Repositories

jesseduffield/lazygit
simple terminal UI for git commands
Total stars
31,199
Language
Go
Related Repositories

lbryio/lbrycrd
The blockchain that provides the digital content namespace for the LBRY protocol
Homepage
Total stars
2,666
Language
C++
Related Repositories

webinstall/webi-installers
Primary and community-submitted packages for webinstall.dev
Homepage
Total stars
622
Related Repositories

mosuka/blast
Blast is a full text search and indexing server, written in Go, built on top of Bleve.
Total stars
1,049
Language
Go
Related Repositories

cs50/libcs50
CS50 Library for C
Homepage
Total stars
1,099
Language
C
Related Repositories

libbitcoin/libbitcoin-system
Bitcoin Cross-Platform C++ Development Toolkit
Homepage
Total stars
1,194
Language
C++
Related Repositories

p4lang/p4c
P4_16 reference compiler
Total stars
499
Language
C++
Related Repositories