Miguel Vilá (miguel-vila)

miguel-vila

Geek Repo

Location:UK

Home Page:http://miguel-vila.github.io

Github PK Tool:Github PK Tool


Organizations
bogota-lambda
recursecenter

Miguel Vilá's repositories

Language:HaskellStargazers:1Issues:3Issues:0

incremental-compiler

My solution to a tutorial on how to build a compiler incrementally

Language:HaskellStargazers:1Issues:3Issues:0
Language:Jupyter NotebookStargazers:0Issues:3Issues:0
Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:3Issues:0
Language:PureScriptStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

difflicious

Scala library for readable diffs of values

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:Jupyter NotebookStargazers:0Issues:3Issues:0

jwt-scala

JWT support for Scala. Bonus extensions for Play, Play JSON, Json4s, Circe and uPickle

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0
Language:Jupyter NotebookStargazers:0Issues:3Issues:0
Language:ShellStargazers:0Issues:2Issues:0

OpenSearch

🔎 Open source distributed and RESTful search engine.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0

opensearch-api-specification

API specification for OpenSearch

License:Apache-2.0Stargazers:0Issues:0Issues:0

opensearch-java

Java Client for OpenSearch

Language:JavaLicense:Apache-2.0Stargazers:0Issues:0Issues:0
Language:ShellStargazers:0Issues:2Issues:0

sbt-getting-started

Learn to use sbt with Scala

Language:ScalaStargazers:0Issues:2Issues:0
Language:ScalaLicense:MITStargazers:0Issues:1Issues:0

scala-3-java-sealed-interface-issue

reproduction of an issue compiling both scala 3 and java sealed interfaces

Language:ScalaStargazers:0Issues:2Issues:0

scanamo

Simpler DynamoDB access for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

smithy

Smithy is a protocol-agnostic interface definition language and set of tools for generating clients, servers, and documentation for any programming language.

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0
Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

smithy4s

https://disneystreaming.github.io/smithy4s/

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

spotbugs

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Language:JavaLicense:LGPL-2.1Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:3Issues:0
Language:ScalaStargazers:0Issues:3Issues:0

weaver-test

A test framework that runs everything in parallel.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

zio-logging

Simple logging for ZIO apps, with correlation, context & pluggable backends out of the box.

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

zio-metrics

Usage and Docs on

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0