Lisanju

Lisanju's Stars

• ppy/osu

  rhythm is just a *click* away!

  Language:C#15.7k29910.9k2.3k

• 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 development of machine-checked proofs.

  Language:OCaml4.9k10410.1k658

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k641.2k379

• winitzki/sofp

  A free book: "The Science of Functional Programming"

  Language:TeX1.4k494898

• granule-project/granule

  A statically-typed linear functional language with graded modal types for fine-grained program reasoning

  Language:Haskell5953315035

• agda/agda-stdlib

  The Agda standard library

  Language:Agda590281k241

• agda/agda-frp-js

  ECMAScript back end for Functional Reactive Programming in Agda

  Language:Agda10333412

• TheDomcio/WonderfulPolishLanguage

  This is a repository created for the list of resources for learning and exploring Wonderful Polish language.

  39306

• gallais/aGdaREP

  Implementing grep in Agda

  Language:Agda32421

• gallais/typing-with-leftovers

  Self-contained repository for the eponymous paper

  Language:Agda29503

• trillioneyes/idris-pong

  A browser Pong game, taking advantage of Idris's ability to compile to javascript.

  Language:Idris18512

• gdijkstra/hs-to-gallina

  Experimentation project

  Language:Haskell16410

• laMudri/quantitative

  Language:TeX16901

• jico/automata

  Build, test, and simulate automata.

  Language:Ruby11312

• gallais/proof-search-ILLWiL

  A self-contained repo for the ILLWiL paper

  Language:Agda740

• joaopizani/piware-agda

  This repository has moved to https://gitlab.com/joaopizani/piware-agda

  Language:Agda55431

• jam-khan/PL_Research

  This is the repository for code related to Programming Languages Research.

  Language:HTML3100

• joaopizani/piware

  This repository has moved to https://gitlab.com/joaopizani/piware

  Language:TeX33380

• Lisanju/geoki-jiten

  Dicionário bilíngue do português brasileiro para o okinawano implementado em um sistema de busca com informações de entonação, verbete e classe gramatical

  Language:JavaScript3101

• LambdaDelta-Lab/FLT-in-Ruby

  Introdução à Teoria das Linguagens Formais em Ruby

  Language:Ruby2000

• Lisanju/ap24

  Site pessoal

  Language:HTML1100

• Lisanju/CS-Intro

  Repositório para o estudo introdutório de tópicos em Ciência da Computação.

  Language:Python1100

• Lisanju/Lisanju.github.io

  Minha página acadêmica

  Language:HTML1200

• Lisanju/Objeto-Editorial

  Proposta de objeto editorial para veiculação da fórmula discursiva "hacker"

  Language:HTML1100

• Lisanju/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1000

• Lisanju/romani-lav

  Léxico cigano da variedade linguística romani calón implementado em um sistema de busca com informações de classe gramatical, categoria morfossintática e contraparte em português brasileiro

  Language:CSS1100

• Lisanju/RST-Discourse-Parsing

  Analisador discursivo de textos do português brasileiro pelo método RST - Teoria de Estrutura Retórica

  1100

• Lisanju/Syntactic-Parsing-in-DCG

  Processamento sintático em DCG implementado em Prolog para regras de produção do português brasileiro

  Language:Prolog1100

• Lisanju/Text-Processing-in-R

  Fundamentos da estatística descritiva e de processamento textual em R para extração e análise de textos em português brasileiro

  Language:R110

• Lisanju/WordNet-Toy

  Construção semiautomática de um glossário psicolexicográfico WordNet-Toy em português brasileiro

  Language:R1100