-
Dipartimento di Informatica – Università degli Studi di Milano
- Milano, Italy
-
20:10
(UTC +01:00) - https://santini.di.unimi.it/
- https://orcid.org/0000-0003-1416-0673
- @mapio
- in/massimosantini
Highlights
- Pro
Lists (10)
Sort Name ascending (A-Z)
- All languages
- ANTLR
- AppleScript
- Assembly
- Astro
- Batchfile
- Blade
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Crystal
- Cuda
- Cython
- D
- Dart
- Dockerfile
- Elixir
- Forth
- Fortran
- Gherkin
- Go
- Groovy
- HCL
- HTML
- Haml
- Handlebars
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Less
- Lua
- MATLAB
- MDX
- Makefile
- Mathematica
- Meson
- Mojo
- NSIS
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PostScript
- PowerShell
- Processing
- PureScript
- Python
- QML
- R
- Rich Text Format
- Roff
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Starlark
- Svelte
- Swift
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wikitext
- XSLT
- Xtend
Starred repositories
Python tool for converting files and office documents to Markdown.
Python & Command-line tool to gather text and metadata on the Web: Crawling, scraping, extraction, output as CSV, JSON, HTML, MD, TXT, XML
Use Jupyter Notebook in mkdocs
Cap'n Proto serialization/RPC system - core tools and C++ library
A curated list of useful resources for gRPC
The C based gRPC (C++, Python, Ruby, Objective-C, PHP, C#)
Summary of the book Effective Java 2nd Edition by Joshua Bloch
A curated list of software and architecture related design patterns.
Replicating 3Blue1Brown's math animation engine in JavaScript (p5.js)
An analysis tool for Python that blurs the line between testing and type systems.
TinyChipHub / ESP-Miner-TCH
Forked from skot/ESP-MinerA bitcoin ASIC miner for the ESP32
Brace is an LLM-powered course assistant to help with teaching feedback-intensive courses with large student populations.
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
Check your ranking in GitHub! Don't forget to star ⭐ this repository.
The Programmable Cypher-based Neuro-Symbolic AGI that lets you program its behavior using Graph-based Prompt Programming: for people who want AI to behave as expected
A network filesystem client to connect to SSH servers
Building a modern alternative to Salesforce, powered by the community.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Crucible is a library for symbolic simulation of imperative programs
Meshtastic project website and documentation
ecamuto / freakwan
Forked from antirez/freakwanA MicroPython driver for the SX1276 LoRa chip
Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files
A beautiful home server OS for self-hosting with an app store. Buy a pre-built Umbrel Home with umbrelOS, or install on a Raspberry Pi or any x86 system.
JuiceFS is a distributed POSIX file system built on top of Redis and S3.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
LLM-powered multiagent persona simulation for imagination enhancement and business insights.