lastland

lastland's Stars

• 996icu/996.ICU

  Repo for counting stars and contributing. Press F to pay respect to glorious developers.

  270k4.2k021.2k

• chinese-poetry/chinese-poetry

  The most comprehensive database of Chinese poetry 🧶最全中华古诗词数据库, 唐宋两朝近一万四千古诗人, 接近5.5万首唐诗加26万宋诗. 两宋时期1564位词人，21050首词。

  Language:JavaScript47.9k1.2k2039.6k

• tipsy/profile-summary-for-github

  Tool for visualizing GitHub profiles

  Language:Vue19.8k10781501

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k242162587

• tinyproxy/tinyproxy

  tinyproxy - a light-weight HTTP/HTTPS proxy daemon for POSIX operating systems

  Language:C4.8k105405661

• nashamri/academic-phrases

  Bypass that mental block when writing your papers.

  Language:Emacs Lisp31610426

• latextemplates/LNCS

  Improved Lecture Notes in Computer Science (LNCS) template

  Language:TeX260122364

• nsf-open/nsf-proposal-latex-samples

  LaTeX samples for NSF Research.gov Proposal Submission. For more information about Research.gov Proposal Submission visit https://www.research.gov/research-web/content/aboutpsm Feedback syee@nsf.gov

  Language:TeX22017158

• epfldata/squid

  Squid – type-safe metaprogramming and compilation framework for Scala

  Language:Scala197174914

• ilyasergey/pnp

  Lecture notes for a short course on proving/programming in Coq via SSReflect.

  Language:Coq159141117

• schemasafe/troy

  Type-safe and Schema-safe Scala wrapper for Cassandra driver

  Language:Scala151127914

• coq-community/coq-ext-lib

  A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

  Language:Coq128165746

• rsnikhil/Forvis_RISCV-ISA-Spec

  Formal specification of RISC-V Instruction Set

  Language:Haskell9618319

• orpheus-db/implementation

  OrpheusDB

  Language:Python8516912

• gshen42/HasChor

  Functional choreographic programming in Haskell

  Language:Haskell794513

• plclub/hs-to-coq

  Convert Haskell source code to Coq source code.

  Language:Coq77131888

• xnning/GHC-Core-Literature-Review

  Literature review of GHC's Core language, System FC

  67611

• Mtac2/Mtac2

  Language:Coq51616625

• tlringer/plugin-tutorial

  Yet another plugin tutorial, this time as an exercise for 598

  Language:OCaml38405

• arthuraa/extructures

  Finite sets and maps for Coq with extensional equality

  Language:Coq302146

• daanx/effect-bench

  Benchmarking algebraic effect handler implementations

  Language:C24700

• snowleopard/united

  United Monoids

  Language:TeX24503

• nomeata/containers-verified

  A package re-exporting the verified subset of containers

  Language:Haskell20511

• arthuraa/coq-utils

  Some basic libraries for Coq.

  Language:Coq14543

• goldfirere/video-resources

  Resources to look at in concert with my Haskell videos

  Language:Haskell14634

• euisuny/icfp22-layered-monadic-interpreters

  artifact for ICFP'22 paper "Formal Reasoning About Layered Monadic Interpreters"

  Language:Coq6112

• mzp/condoc

  Coqdoc to markdown

  Language:Scala611

• jinxinglim/coq-formalized-divide-and-conquer

  This respository contains the formalization of different variations of divide-and-conquer algorithm design paradigm for lists. As a case study, we will see how these different variations lead to different sorting algorithms.

  Language:Coq3200

• bixuanzju/category-agda

  Being my Agda exercise of learning category theory.

  Language:Agda1300

• uwplse/PUMPKIN-git

  A prototype PUMPKIN PATCH interface with Git integration

  Language:OCaml171