Skip to content
View jff's full-sized avatar
56 followers · 6 following

Achievements

Achievement: YOLOAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Starstruckx3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Organizations

@inesc-id @sr-lab @fme-teaching @smartbugs @QualiChain @passcert-project

Block or report jff

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • humanaethica Public

    Forked from socialsoftware/humanaethica
    Groovy MIT License Updated Feb 13, 2024

  • dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# Other Updated Oct 10, 2023

  • streamlit-example Public

    Forked from streamlit/streamlit-example

    Example Streamlit app that you can fork to test out share.streamlit.io

    Python Updated Aug 17, 2023

  • sarif-test Public

    Solidity Updated Nov 25, 2022

  • HandyDoc Public

    Forked from HandyOrg/HandyDoc

    Offline Documentions for HandyControl

    C# MIT License Updated Jul 26, 2021

  • donate Public

    Forked from brandonhimpfen/donate
    The Unlicense Updated Jul 6, 2021

  • DataUsageCheck-FBInfer Public

    Forked from Rui1995/DataUsageCheck-FBInfer
    HTML Updated Nov 20, 2020

  • XBoard Public

    Forked from OXOYO/XBoard

    在线白板 Online whiteboard

    JavaScript MIT License Updated Nov 2, 2019

  • fme-teaching Public

    FME Teaching Committee

    JavaScript Updated May 28, 2019

  • spock Public

    Forked from spockframework/spock

    The Enterprise-ready testing and specification framework.

    Java Apache License 2.0 Updated Mar 14, 2019

  • coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Feb 7, 2018

  • CompCert Public

    Forked from AbsInt/CompCert

    The CompCert formally-verified C compiler

    Coq Other Updated Feb 6, 2018

  • ill_narratives Public

    Forked from Matafou/ill_narratives

    A development of a subset of intuitionistic linear logic, suitable for representing narratives.

    Coq Updated Dec 7, 2015

  • TeLLer Public

    TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.

    Haskell 17 1 GNU General Public License v3.0 Updated Jun 22, 2015

  • 1314-TEES-PDD Public

    Repository for PDD 2013/2014

    Java Updated Feb 24, 2014

  • mathspad Public

    The MathSpad Editor

    C 2 Other Updated Oct 30, 2013

  • eisenstein Public

    Literate Haskell module with functions to enumerate the elements of the Eisenstein array. Also, we provide a program that searches for occurrences of the Eisenstein array on OEIS. (Joint work with …

    Haskell 4 2 Updated Jan 25, 2013

  • Hotot Public

    Forked from lyricat/Hotot

    A Twitter Client

    JavaScript 1 GNU Lesser General Public License v3.0 Updated Aug 5, 2012

  • hip-examples Public

    Examples of programs verified with HIP/SLEEK

    Scheme 1 Updated Feb 23, 2011

  • rationals-python Public

    Python class implementing the algorithm that I and Roland Backhouse created in 2008 to enumerate the positive rational numbers in two different ways.

    Python 2 1 Updated Feb 22, 2010

  • translate Public

    Haskell binding to Google's AJAX Language API for Translation and Detection

    Haskell 2 BSD 3-Clause "New" or "Revised" License Updated Jan 24, 2010

  • ueq-binary-op Public

    A literate Haskell program that proves the inexistence of a unique existential binary operator

    Haskell 1 Updated Aug 19, 2009

  • streams Public

    Tests with Streams

    Haskell 4 Updated Oct 24, 2008