aziis98/lean-codespace aziis98/lean-codespace

  • Stars
    star
    3
  • Rank 3,955,274 (Top 79 %)
  • Language Lean
  • Created about 1 year ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
aziis98/lean-codespace
github

aziis98

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Questa repository contiene un semplice progetto in Lean che può essere lanciato con un click su GitHub CodeSpaces

More Repositories

1

go-fsrouter

A simple file system router library for golang
Go
36
star
2

go-vite-kit

Minimal boilerplate with a golang server using Fiber and ViteJS for static pages
Go
6
star
3

go-sl

Small golang service locator library that uses generics
Go
4
star
4

dashboard

A localStorage based personal dashboard (with widgets!)
JavaScript
4
star
5

go-lisp-interpreter

A small interpreter for a lisp like language embedded in Go
Go
3
star
6

pyke

A small clone of GNU Make based on file checksums
Python
3
star
7

bash-vcs

An extremely simple version control system written in bash
Shell
2
star
8

template-go-vitejs

My personal template for building web server using Go and ViteJS
Go
2
star
9

art-2021-12-19

Growing circuit board pattern
JavaScript
2
star
10

theme-outlined

An adaptive theme for Sublime Text 3
2
star
11

ordinazioni-condivise

Un progetto realizzato in una manciata di ore per stimare i costi di ordinazioni condivise
JavaScript
2
star
12

ext-open-pdf

Chrome extension for openning a pdf in Evince
JavaScript
2
star
13

template-latex

A simple template for a LaTeX project.
TeX
2
star
14

ergolas

an Embeddable Random GOlang LAnguage for Scripting
Go
2
star
15

art-phc-landing-page

This is the second version of the _wire art_ for the landing page of the new PHC website.
TypeScript
2
star
16

go-patbu

A Go library and CLI to manipulate paths
Go
2
star
17

website-2023

Forse finalmente mi sono fatto un sito che funge (con Astro, Preact e prima o poi un po' di MDX)
Astro
2
star
18

dashboard-2

New dashboard to replace my browser blank page
JavaScript
2
star
19

appunti-analisi-3

Appunti di Analisi 3 del corso di Alberti del primo semestre anno accademico 2021/2022
TeX
2
star
20

goldmark-latex

An extension for goldmark that adds support for math blocks and inline math
Go
2
star
21

gotemplater

A super small CLI utility to render Go Templates to files by passing JSON or YAML data and content as standard input.
Go
2
star
22

go-stats-server

A small tcp server for monitoring a node in a cluster
Go
2
star
23

telegram-latex-bot

A LaTeX bot for Telegram.
JavaScript
1
star
24

parser-combinators

An extensible Go library to work/experiment with parser combinators
Go
1
star
25

mup

A micro file uploader written in Go
Go
1
star
26

go-restruct

A golang library to convert between types using generics and reflection
Go
1
star
27

scripts-2022

Yet another scripts repo
Shell
1
star
28

textml

My personal textual markup language. Mostly a more structured alternative to Markdown
Go
1
star
29

gtk-select2d

A simple gtk image point selector
Python
1
star
30

cabret

A static site generator written in Go with a YAML configuration file
Go
1
star
31

talk-intro-go-generics

Talk "Introduzione alle Generics in Go" per la DevFest del GDG
Makefile
1
star
32

preact-timer

A localStorage-timer made with Preact with developit/htm
1
star
33

website-2020

Portfolio website & blog in use from 2020
HTML
1
star
34

go-authsession

A library to easily handle cookie sessions and a basic form of permission management with go http frameworks and libraries
Go
1
star
35

gdsl

A small declarative DSL for CanvasRenderingContext2D
TypeScript
1
star
36

fantavision

Progetto pensato per l'EuroVision realizzato con Astro e Firebase
JavaScript
1
star
37

spectral-sequence-editor

Small spectral sequence editor web app
JavaScript
1
star
38

scripts-2023

Yet another scripts repo
Shell
1
star
39

arnoldi-distribuito

Progetto di Calcolo Scientifico, Metodo di Arnoldi per Autovalori distribuito utilizzando PETSc
C
1
star
40

stellarium

Awesome page generated from by starred repositories (thanks to the starred project)
1
star