
-
LambdaClass
- Buenos Aires, Argentina
- https://federicocarrone.com/
- @federicocarrone
Lists (12)
Sort Name ascending (A-Z)
- All languages
- ASP
- Agda
- Arc
- Assembly
- Astro
- Awk
- Batchfile
- Boogie
- Brainfuck
- C
- C#
- C++
- COBOL
- CSS
- Cairo
- Chapel
- Circom
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Factor
- Fennel
- Frege
- Gherkin
- Gleam
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- HolyC
- Idris
- Java
- JavaScript
- JetBrains MPS
- Jinja
- Julia
- Jupyter Notebook
- Kotlin
- LFE
- LLVM
- Lean
- Lex
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mercury
- Mermaid
- Mojo
- Mustache
- NSIS
- Nemerle
- Nim
- Nix
- Nunjucks
- OCaml
- Objective-C
- Objective-C++
- Odin
- PHP
- Perl
- Pony
- PostScript
- PowerShell
- Processing
- Prolog
- Puppet
- PureScript
- Python
- QML
- R
- Racket
- Raku
- ReScript
- Red
- Roff
- Ruby
- Rust
- SCSS
- Sage
- Scala
- Scheme
- Shell
- Shen
- Smalltalk
- Smarty
- Solidity
- SourcePawn
- Standard ML
- Starlark
- Stylus
- Swift
- SystemVerilog
- TLA
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vim Script
- Vim Snippet
- Vue
- WebAssembly
- Wren
- Xtend
- YASnippet
- Yacc
- Zig
- mupad
Starred repositories
anza-xyz / agave
Forked from solana-labs/solanaWeb-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.
SANA: Efficient High-Resolution Image Synthesis with Linear Diffusion Transformer
An Introduction to Redex with Abstracting Abstract Machines
A Gleam web framework for building HTML templates, single page applications, and real-time server components.
Official repository for the paper "Grokfast: Accelerated Grokking by Amplifying Slow Gradients"
A self-hosted dashboard that puts all your feeds in one place
Ranger is an ethereum p2p client capable of interacting with peers without a full node
Educational blog posts for Rust beginners
Neural Networks: Zero to Hero
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
A library for fast NTTs over the Goldilocks prime field
Start your Taiko node with a single command. 🌐
Multi-proofs for Taiko. SNARKS, STARKS and Trusted Execution Enclave. Our previous ZK-EVM circuits are deprecated.
A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM
Modern embedded framework, using Rust and async.
Nuclei is a fast, customizable vulnerability scanner powered by the global security community and built on a simple YAML-based DSL, enabling collaboration to tackle trending vulnerabilities on the …
A custom storage engine of Nethermind, benefiting from the alignment of the underlying data structure with the layout of State & Storage trees of Ethereum.