jpablo Goto Github PK
Name: juan pablo romero
Type: User
Location: San Francisco, CA
Blog: typista.org
Name: juan pablo romero
Type: User
Location: San Francisco, CA
Blog: typista.org
Declarative concurrency and stream processing library for Scala
Linear types in Scala
Inference code for LLaMA models
Companion files for Logical Verification 2020β2021 at VU Amsterdam
papers of Per Martin LΓΆf
A CSS Framework and a Set of React Components that Implement Google's Material Design.
Lean mathematical components library
Work in progress mathlib port for lean 4
Scala language server with rich IDE features π
An ONNX (Open Neural Network eXchange) API and Backend for Typeful, Functional Deep Learning in Scala
In Progress Dotty-based implementation of Quill
IntelliJ plugin for PureScript
Metaclass for easily extending classes (monkeypatching)
Compile-time Language Integrated Queries for Scala
Non-blocking, Reactive Redis driver for Scala (with Sentinel support)
Declarative data binding facility
Scala types for your library to represent HTML tags, attributes, properties and CSS styles
The official repository for the Scala & Functional Programming Practice course
A scala library for connecting to a redis server, or a cluster of redis nodes using consistent hashing on the client side.
A reusable skeleton to build web applications in Scala/Scala.js, including user registration, login, admin portal, and deployments
AngularJS Binding for Scala.js
A lighweight macro-based ScalaJS binding for AngularJS
Facebook's React on Scala.JS
A spinning activity indicator
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.