nzyuzin

nzyuzin's Stars

• heartcombo/devise

  Flexible authentication solution for Rails with Warden.

  Language:Ruby23.9k4594.2k5.5k

• coursera-dl/coursera-dl

  Script for downloading Coursera.org videos and naming them.

  Language:Python9.4k3266442.2k

• tholman/elevator.js

  Finally, a "back to top" button that behaves like a real elevator.

  Language:JavaScript6.6k11461501

• Wandmalfarbe/pandoc-latex-template

  A pandoc LaTeX template to convert markdown files to PDF or LaTeX.

  Language:TeX6.1k92309959

• mislav/will_paginate

  Pagination library for Rails and other Ruby applications

  Language:Ruby5.7k71438868

• ocaml/ocaml

  The core OCaml system: compilers, runtime system, base libraries

  Language:OCaml5.4k2037.5k1.1k

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k27623338

• 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.8k10310k640

• crawl/crawl

  Dungeon Crawl: Stone Soup official repository

  Language:C++2.3k951.4k1.3k

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63279225

• rui314/minilisp

  A readable lisp in less than 1k lines of C

  Language:C1.5k315172

• andrejbauer/plzoo

  Programming Languages Zoo

  Language:OCaml1.4k511879

• JFreegman/toxic

  A Tox-based instant messaging and video chat client

  Language:C1.2k57349153

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  95162480

• i3/i3lock

  improved screen locker

  Language:C91828212399

• vekatze/neut

  A dependently-typed programming language with static memory management

  Language:Haskell839201310

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq746201969

• yellowstonegames/SquidLib

  Useful tools for roguelike, role-playing, strategy, and other grid-based games in Java. Feedback is welcome!

  Language:Java4513914746

• Attnam/ivan

  Iter Vehemens ad Necem - a continuation of the graphical roguelike by members of http://attnam.com

  Language:C++3011928043

• net-ssh/net-sftp

  Pure Ruby implementation of an SFTP (protocols 1-6) client.

  Language:Ruby2861195130

• the-lambda-church/coquille

  Interactive theorem proving with Coq in vim.

  Language:Vim Script186104468

• mirleft/ocaml-nocrypto

  OCaml cryptographic library

  Language:OCaml112189052

• uds-psl/coq-library-undecidability

  A library of mechanised undecidability proofs in the Coq proof assistant.

  Language:Coq10372729

• xavierleroy/cryptokit

  A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

  Language:C98101924

• imdea-software/htt

  Hoare Type Theory

  Language:Coq68985

• malyzajko/daisy

  Language:Scala4231211

• lukeg101/lplzoo

  Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

  Language:Haskell36321

• coq/ltac2

  A standalone implementation of Ltac2 as a Coq plugin. Now part of the main Coq repository.

  31103010

• needs/teerank

  A simple ranking system for teeworlds

  Language:TypeScript125115

• nzyuzin/tamtaml

  Mini ML implementation

  Language:OCaml2100