marcesquerra Goto Github PK
Name: Marc Esquerrà
Type: User
Marc Esquerrà's Projects
affirmations
atom-kak-mode
Kakoune text editor emulator for Atom
awesome-idris
𝛌 Awesome Idris resources
bazel-deps
Generate bazel dependencies for maven artifacts
bazelsampleproject
blog
cases
Case converting utility for the console
cats
Lightweight, modular, and extensible library for functional programming.
coltrain
dazel
Run Google's bazel inside a docker container via a seamless proxy.
dhall-rust
Maintainable configuration files, for Rust users
docked
Run apps in a docker container as your user
elvish-git
Wrapper around git with extra stuff
elvish-libs
Libs / Themes for elvish
elvish-z
Wrapper around z.lua
enum
Helper to create enums out of a 'sealed trait' and some 'case object's
esparver
Manage your polyrepo as if a monorepo
ftypes
An Asynchronous Type System for Scala
ftypes-array
ftypes-caseclass
ftypes-string
Async String
ftypes-vals
globalprotect-openconnect
A GlobalProtect VPN client for Linux, written in Rust, based on OpenConnect and Tauri, supports SSO with MFA, Yubikey, and client certificate authentication, etc.
gnomenclator
gohip
hip report in go
hackathon-embeditor
Vim inside IntelliJ or IntelliJ inside Vim
helix
A post-modern modal text editor.
heroku-buildpack-bazel
high-priority
System to give Scala type-classes different priorities
ibt
Idris Build Tool
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.