Giters
Dan- (Danelnov)

Danelnov

Geek Repo

10

followers

10

following

88

stars

Location:Colombia

Github PK Tool:Github PK Tool

Dan-'s starred repositories

lean4web

The Lean 4 web editor

Language:CSSLicense:Apache-2.0Stargazers:58Issues:0Issues:0

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

Stargazers:2091Issues:0Issues:0

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:16917Issues:0Issues:0

verbose-lean4

Natural language tactics to teach mathematics using Lean 4

Language:LeanLicense:Apache-2.0Stargazers:49Issues:0Issues:0

kamilalisp

A functional, flexible and concise Lisp.

Language:JavaLicense:GPL-3.0Stargazers:267Issues:0Issues:0

elon-analise-real

Soluções para os livros de Análise Real do Professor Elon Lages Lima.

Stargazers:43Issues:0Issues:0

musicblocks

Music Blocks -- A musical microworld

Language:JavaScriptLicense:AGPL-3.0Stargazers:543Issues:0Issues:0

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

Language:C++License:MITStargazers:869Issues:0Issues:0

Tauon

The music player of today! :city_sunrise:

Language:PythonLicense:GPL-3.0Stargazers:1679Issues:0Issues:0

algovis

collection of projects and links about algorithm visualization

Stargazers:1619Issues:0Issues:0

free-science-books

Inspired by free-programming-books, here's free-science-books

License:CC0-1.0Stargazers:1724Issues:0Issues:0

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustLicense:Apache-2.0Stargazers:31644Issues:0Issues:0

reflex

🕸️ Web apps in pure Python 🐍

Language:PythonLicense:Apache-2.0Stargazers:18204Issues:0Issues:0

taskipy

the complementary task runner for python

Language:PythonLicense:MITStargazers:445Issues:0Issues:0

awesome-math

A curated list of awesome mathematics resources

Language:PythonStargazers:8454Issues:0Issues:0

quiver

A modern commutative diagram editor for the web.

Language:JavaScriptLicense:MITStargazers:2383Issues:0Issues:0

learn-anything.xyz

Organize world's knowledge, explore connections and curate learning paths

Language:TypeScriptStargazers:15917Issues:0Issues:0

books

Awesome Books

Stargazers:5688Issues:0Issues:0

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Language:TeXLicense:NOASSERTIONStargazers:10864Issues:0Issues:0

manim

A community-maintained Python framework for creating mathematical animations.

Language:PythonLicense:MITStargazers:20167Issues:0Issues:0

dalle2_python

DALLE2 in the command line.

Language:PythonLicense:MITStargazers:116Issues:0Issues:0

poethepoet

A task runner that works well with poetry.

Language:PythonLicense:MITStargazers:1364Issues:0Issues:0

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:1025Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:4144Issues:0Issues:0

Peregrine

A blazing fast language for the blazing fast world(WIP)

Language:C++License:MPL-2.0Stargazers:1462Issues:0Issues:0

nightly

A themed, minimal start page for web browsers

Language:JavaScriptStargazers:181Issues:0Issues:0

pdm

A modern Python package and dependency manager supporting the latest PEP standards

Language:PythonLicense:MITStargazers:7623Issues:0Issues:0

programming-math-science

This is a list of links to different freely available learning resources about computer programming, math, and science.

License:CC0-1.0Stargazers:1673Issues:0Issues:0

en.javascript.info

Modern JavaScript Tutorial

Language:HTMLLicense:NOASSERTIONStargazers:23117Issues:0Issues:0

devops-resources

DevOps resources - Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP

Language:GroovyStargazers:8360Issues:0Issues:0