Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

217–240 of 252 · Most stars

💬 Trace citation chains for any concept across research papers and render them as an interactive graph.

  • academic-research
  • bibliography
  • citation-graph
  • cli

Simple Mac os app for the status bar to automatically download photos from 500px.com to a local folder that can be set as a source of wallpapers.

Coq library for reasoning on randomized algorithms [maintainers=@anton-trunov,@volodeyka]

  • coq
  • randomized-algorithms
  • probability
  • monad

Rust Inpterpreter for Esopo language AshPaper conceived by William Hicks

  • esopo
  • esolang
  • esoteric-language
  • esoteric-programming-language

In this course your students will learn the fundamentals of Swift 3 programming, using Geometry as their context for learning. The style of this course mimic "Logo", which is an educational programming language designed in 1967 by Daniel Borrow, Wally Feurzeig, Seymour Papert and Cynthia Soloman.

pyDailyChanger is a program that changes your wallpaper daily. Additionally, a small calendar can be displayed. It's runnable on various systems as Windows, Mac OS X and Linux with several desktop environments.

Code and data for the paper "Evaluating German Transformer Language Models with Syntactic Agreement Tests" (Zaczynska et al., 2020)