-
LASIGE, University of Lisbon
- Lisboa, Portugal
- http://alcidesfonseca.com
- https://orcid.org/0000-0002-0879-4015
Lists (1)
Sort Name ascending (A-Z)
Stars
- All languages
- APL
- ActionScript
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Dafny
- Dart
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Futhark
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Objective-C++
- OpenSCAD
- PHP
- Perl
- Prolog
- Python
- R
- Racket
- Reason
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Slash
- Smalltalk
- Standard ML
- Swift
- TLA
- TSQL
- TeX
- TypeScript
- Typst
- WebAssembly
- XSLT
- Yacc
- Zig
- jq
- reStructuredText
Style and Grammar Checker for 25+ Languages
Statistical Machine Intelligence & Learning Engine
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
Dependency-Track is an intelligent Component Analysis platform that allows organizations to identify and reduce risk in the software supply chain.
Google Reader inspired self-hosted personal RSS reader.
Light, fluffy, and always free - AWS Local Emulator
Spoon is a metaprogramming library to analyze and transform Java source code. 🥄 is made with ❤️, 🍻 and ✨. It parses source files to build a well-designed AST with powerful analysis and transformati…
An easy-to-learn/use static analysis framework for Java
Converts a pdf file into a text file while keeping the layout of the original pdf. Useful to extract the content from a table in a pdf file for instance. This is a subclass of PDFTextStripper class…
TornadoVM: A practical and efficient heterogeneous programming framework for managed languages
Coverage-guided, in-process fuzzing for the JVM
A library that creates fully populated objects for your unit tests.
Framework to interpret and transpile JVM bytecode to JavaScript, OpenCL or WebAssembly.
A new version of Soot with a completely overhauled architecture
JQF + Zest: Coverage-guided semantic fuzzing for Java.
A Java Parser library that allows easy parsing and formatting of Java source files
JNAerator: native bindings generator for JNA / BridJ / Node.js
Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞
Enkel is a simple programming language running on the jvm
Software Transactional Memory Implementation for the JVM
Datalog with support for SMT queries and first-order functional programming
A high-performance, parallel, compilation-based symbolic execution engine
Optimizer library for tail recursive calls in Java bytecode
Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.