A re-implementation of weeder using HIE files

Low level toy functional programming language with linear types, first class inline functions, levity polymorphism and regions.

A neurosymbolic framework for vulnerability detection in code

Program Analisys and Transformation survey and links (particular focus on SSA)

An awesome code differencing tool

Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis

A curated list of fellowships for graduate students in Computer Science and related fields.

User-friendly documentation for the SARIF file format.

A simple, fast and versatile Datalog database

Programmer's guide about how to cook at home.

Datalog that's as easy as ABC.

A list of projectional and structural editors

Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

Haskell implemented with combinators

PhD course on Functional Programming and Climate Impact Research

Compiling Agda code to readable Haskell

Ask2Elle is an intelligent programming tutor for Haskell

This is an experimental base library which is supposed to contain functional datastructures and reflection code.

Repository with code snippets that accompany episodes of The Haskell Unfolder

An experimental library for Cubical Agda

Implementations of various type systems in OCaml.

💥💻💥 A data-parallel functional programming language

NixOS 中文 Telegram 群组成员配置文件

Domain-Specific Languages of Mathematics

Papers from the computer science community to read and discuss.