gleblobanov's Stars
florinpop17/app-ideas
A Collection of application ideas which can be used to improve your coding skills.
AvaloniaUI/Avalonia
Develop Desktop, Embedded, Mobile and WebAssembly apps with C# and XAML. The most popular .NET UI client technology
dotnet/maui
.NET MAUI is the .NET Multi-platform App UI, a framework for building native device applications spanning mobile, tablet, and desktop.
emilk/egui
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
be5invis/Iosevka
Versatile typeface for code, from code.
NixOS/nixpkgs
Nix Packages collection & NixOS
emacs-tw/awesome-emacs
A community driven list of useful Emacs packages, libraries and other items.
dotnet/wpf
WPF is a .NET Core UI framework for building Windows desktop applications.
moodle/moodle
Moodle - the world's open source learning platform
ImGuiNET/ImGui.NET
An ImGui wrapper for .NET.
rougier/elegant-emacs
A very minimal but elegant emacs (I think)
plfa/plfa.github.io
An introduction to programming language theory in Agda
OpenLogicProject/OpenLogic
An open-source, customizable intermediate logic textbook
radioman/greatmaps
GMap.NET - Great Maps for Windows Forms & Presentation
mortberg/cubicaltt
Experimental implementation of Cubical Type Theory
ProofGeneral/PG
This repo is the new home of Proof General
11111000000/tao-theme-emacs
tao-theme - two uncoloured color themes for EMACS
knupfer/haskell-emacs
Write Emacs extensions in Haskell
tmuras/moosh
Moosh
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
ChrisPenner/slick
Static site generator built on Shake configured in Haskell
ashwinkshenoy/chatbot
A Simple ChatBot Widget
tmalsburg/tango-plus-theme
Color theme for Emacs loosely based on the tango palette
patrickallaert/php-sample-application
PHP 7.1 sample application
rgtjf/nlp-calendar
2022 call-for-paper ai nlp cv
mdnahas/Peano_Book
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
learnweb/moodle-block_qrcode
:camera: Block that provides a QR code that teachers can show on introductory slides
heatherleaf/TALK-grammar-lib
Grammar library from the EU-financed TALK project, developed at University of Gothenburg, written in Grammatical Framework
ewallah/moodle-block_rate_course
Course ratings block for Moodle
neoascetic/notes
These are not the droids you are looking for