danielcontro

danielcontro's Stars

• EbookFoundation/free-programming-books

  :books: Freely available programming books

  Language:HTML346k9.8k1.2k62.4k

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script85k96912.1k5.8k

• alacritty/alacritty

  A cross-platform, OpenGL terminal emulator.

  Language:Rust57.3k4515.9k3k

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python28.8k1731.6k2k

• zotero/zotero

  Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

  Language:JavaScript10.7k1363.5k779

• organicmaps/organicmaps

  🍃 Organic Maps is a free Android & iOS offline maps app for travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

  Language:C++10.3k955k990

• nvim-neorg/neorg

  Modernity meets insane extensibility. The future of organizing your life in Neovim.

  Language:Lua6.6k48679216

• zmkfirmware/zmk

  ZMK Firmware Repository

  Language:C2.9k497392.9k

• agda/agda

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

  Language:Haskell2.5k665.6k365

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq677452786

• moocfi/haskell-mooc

  Haskell MOOC University of Helsinki

  Language:HTML3301154455

• gcappon/bwthw

  Material for the laboratory of the course of Biomedical Wearable Technology for Healthcare and Wellbeing, Master's degree in Bioengineering, Department of Information Engineering (DEI), University of Padova.

  Language:C++137187

• lusergit/atpl-formulario

  Formulario dalle note del corso di Advanced Topics in Programming languages

  Language:Makefile1201

• lusergit/presentation-slides

  Presentation for the thesis in Computer Science at UniPD

  Language:TeX10