zampino Goto Github PK
Name: Andrea Amantini
Type: User
Company: @nextjournal
Bio: Math PhD thrown to W.A.S.T.E.
Twitter: lo_zampino
Location: Berlin
Andrea Amantini's Projects
acm_sig_paper_markdown_pandoc
Example project of an academic paper using the ACM SIG Proceedings template
agda-stdlib
The Agda standard library
awesome-elixir
A curated list of amazingly awesome Elixir and Erlang libraries, resources and shiny things.
clerk-blocks
Clerky Blocky Clerky
clerk-cljs-demo
A demo Project showing Clerk custom CLJS compilation
clerk-datalevin
Clerk Datalevin Playground
clerk-freehand
Clerk notebook utilities for hand-drawn vector diagrams
clerk-px23
Clerk Paper for the Programming Experience 23 Workshop
clojure
The Clojure programming language
clojure-friendly
Introduces Clojure for the Friendly Functional Programming Meetup Berlin
cuneiform
A Functional Workflow Language
dato
Experiment in distilling apps to their essence
elli
Simple, robust and performant Erlang web server
elli_websocket
Elli Websocket Handler
elm_lindenmayer_systems
Elm L-Systems rendered with Turtle Graphics
escpos
ESC/POS text printing library (thermal Epson USB printers) for Elixir
etudes-for-elixir
Companion exercises for Introducing Elixir
ex_osc
Open Sound Control server and client libraries for Elixir
exnn
An Elixir Evolutive Neural Network framework à la G.Sher
fixed-points
a bit of fixed point theory (in LaTTe)
flemma
Flemma Studio Home Page
gen_stage
GenStage specification and computational flow for Elixir
ggt
A random collection of Agda facts around the Theory of Group Actions
heroku-buildpack-elixir
Heroku Buildpack for Elixir with nitro boost
json-pointer
A ruby implementation of draft-ietf-appsawg-json-pointer-01
keyed_queue_backpressure
A simple GenStage example
latexts
My LaTeX docs
latte
LaTTe : a Laboratory for Type Theory experiments (in clojure)
latte-kernel
The (very) small kernel of the LaTTe proof assistant
latte-prelude
The core library of the LaTTe proof assistant
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.