placidex Goto Github PK

aksharamukha-python

Aksharamukha Python Library

blog

Source repo for blog

bril

an educational compiler intermediate representation

cabal

Official upstream development repository for Cabal and cabal-install

circt

Circuit IR Compilers and Tools

common_maps

comprog-hs

Competitive programming utilities in Haskell

diagnose

A simple library for reporting compiler/interpreter errors

drtlaplus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

eclair-lang

A minimal, fast Datalog implementation in Haskell that compiles to LLVM

eclair-lsp-server

LSP server for Eclair

ghappy

A utility to pull issues and create Audit Reports.

hellols

sample language server for HelloFalks language

homebrew-souffle

Brew Scripts

learndatalogtoday

Interactive Datalog Tutorial

llvm-codegen

LLVM code generation in Haskell

mendel

Mutation Operators for Haskell Sourcecode

nep

Eclair parser written in C++ (as an experiment)

placidex.github.io

Placidex Website

rock

Build system

sanscript.java

Sanscript ported to Java

sanscript.js

Transliteration package for Indian scripts

sanskrit-iast

A console program for lossless transliteration of Sanskrit texts from Devanagari to Latin and back using the International Alphabet of Sanskrit Transliteration (IAST).

sanskritverb

Verb declention for Sanskrit

scl

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

souffle-haskell

Haskell bindings for the Souffle datalog language

souffleinterface

C++, Java/Scala interface for Souffle

splv20

SPLV20 course notes

vidyut

Infrastructure for Sanskrit software. For Python bindings, see `vidyut-py`.