Beast code in Giters

Edmundo López Bóbeda's repositories

stratagem

Stratagem - DD- and rewriting strategies- based model checker

Language:Java5 4 17

awkQdsl

Language:ScalaMIT1 1 1

personalwebsite

My personal website

1 20

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaNOASSERTION000

daml-topl-lib-java

Language:Scala010

metals

Scala language server with rich IDE features 🚀

Language:ScalaApache-2.0010

metals-languageclient

Language client library for Node.js Metals clients

Language:TypeScriptApache-2.0000

metals-vscode

Visual Studio Code extension for Metals

Language:TypeScriptApache-2.0000

net.lopezbobeda.rap.examples.mail

An example eclipse RAP application. It is configured to be launched easily on Heroku. You can see the tutorial at http://edmundo.lopezbobeda.net/blog/how-deploy-your-eclipse-rap-application-heroku

Language:Java020