Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

dtraytel Follow

Overview Repositories 14 Projects 0 Packages 0 Stars 1

Overview
Repositories
Projects
Packages
Stars

dtraytel

Dmitriy Traytel dtraytel

15 followers · 1 following

University of Copenhagen
https://traytel.bitbucket.io

Achievements

Highlights

Block or report dtraytel

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 14 Projects 0 Packages 0 Stars 1

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All Python Isabelle OCaml Haskell HTML

Sort Last updated

Select order

Last updated Name Stars

CSrankings Public
Forked from emeryberger/CSrankings

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

Python Other Updated Sep 24, 2024
fouco Public

1 Updated May 22, 2023
HOLRLT Public

Isabelle Updated Nov 9, 2022
mfotl2ranf Public
Forked from mraszyk/mfotl2ranf

OCaml BSD 3-Clause "New" or "Revised" License Updated Mar 29, 2022
cyp Public
Forked from noschinl/cyp

Checker for "morally correct" induction proofs about haskell programs

Haskell 8 2 MIT License Updated Mar 16, 2022
abstract_incompleteness Public

HTML Updated Apr 8, 2020
Bindings-as-BNFs Public

Formalization Artifact for the paper "Bindings as Bounded Natural Functors"

HTML BSD 3-Clause "New" or "Revised" License Updated Nov 25, 2018
Containers_are_BNFs Public

Isabelle Updated Sep 22, 2018
HaskellerZ Public
Forked from zfoh/HaskellerZ

Notes and files from HaskellerZ meetups.

HTML Updated Feb 22, 2017
website Public
Forked from satlive/website

SAT Live! web site

HTML Updated Feb 7, 2017
WS1S Public

A Coalgebraic Decision Procedure for WS1S

HTML 1 Updated Apr 10, 2015
Witnessing-Codatatypes Public

Updated Oct 22, 2014
UFP_formalized Public

Updated Sep 10, 2014
icfp2013-papers Public
Forked from gasche/icfp2013-papers

List of ICFP'13 accepted papers, with links to preprint or additional information when available

Updated Jul 15, 2013

Footer

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.

Dmitriy Traytel dtraytel

Achievements

Achievements

Highlights

CSrankings Public

fouco Public

HOLRLT Public

mfotl2ranf Public

cyp Public

abstract_incompleteness Public

Bindings-as-BNFs Public

Containers_are_BNFs Public

HaskellerZ Public

website Public

WS1S Public

Witnessing-Codatatypes Public

UFP_formalized Public

icfp2013-papers Public