0x0f0f0f Goto Github PK
Name: Alessandro Cheli
Type: User
Bio: Computer Scientist, PLer
Location: Italy
Blog: https://cheli.dev
Alessandro Cheli's Projects
0x0f0f0f.github.io
amdgpu.jl
AMD GPU (ROCm) programming in Julia
bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
calcurse-telegram-bot
Telegram bot that parses and handles calcurse events and todos through a git (dotfiles) repository
catlab.jl
A framework for applied category theory in the Julia language
computability-complexity-cheat-sheets
TeX code for Computability Theory and Complexity Theory Cheat Sheets
concurrent-data-structures
dna2music
Converting DNA to MIDI
dune-starter-project
A simple OCaml project skeleton using dune, ppx_deriving and alcotest.
expronicon.jl
Collective tools for metaprogramming on Julia Expr
ferret
Declarative web scraping
foxdot-worksheet
A worksheet that introduces key elements of the FoxDot live coding library
fretboard
Learning guitar fretboard notes, scales and chords on a colorful ANSI terminal
general
The official registry of general Julia packages
gobba
A purely functional dynamically typed programming language.
gobba-book
The Gobba Programming Language Handbook
gobba-golang
ibmq-julia
Uploading Yao circuits
iia.jl
Code for exercises for the introduction to artificial intelligence at UniPisa
infectious-disease-toy-simulation
Unprecise toy simulation of the spread of infectious disease in a single C file.
kakoune
mawww's experiment for a better code editor
kompute-go
lineaedits.github.io
lwa-techniques
Implementation of algorithms described in "A coalgebraic perspective on linear weighted automata" and "Up-To Techniques for Weighted Systems"
memplot
Generate image plots of processes' memory usage very quickly, within a single binary.
metatheory-garbage
old tests and experiments that have to be cleaned up and updated to latest MT
metatheory-juliacon-2021-slides
Slides for the Metatheory.jl 2021 juliacon talk
minicaml
This is the old source code archive for minicaml. The project has been renamed to gobba!
mixtape.jl
Made a million off a mixtape.
modelingtoolkit.jl
A modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.