ulysses4ever/cabal Fork of haskell/cabal

Official upstream development repository for Cabal and cabal-install

Language: Haskell - Size: 47.2 MB - Last synced: about 12 hours ago - Pushed: about 14 hours ago - Stars: 0 - Forks: 0

ulysses4ever/ghcup-hs Fork of haskell/ghcup-hs

Size: 9.65 MB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 0 - Forks: 0

ulysses4ever/setup Fork of haskell-actions/setup

Setting up GHC, cabal, stack on for Haskell-related CIs

Size: 768 KB - Last synced: 22 days ago - Pushed: 22 days ago - Stars: 0 - Forks: 0

ulysses4ever/resurrect-julia-types

Turn name of a Julia type into corresponging type object. At scale

Language: Julia - Size: 2.93 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

ulysses4ever/Turbo Fork of Manu343726/Turbo

C++11 metaprogramming library

Size: 11.7 MB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/Yampa Fork of ivanperez-keera/Yampa

Functional Reactive Programming domain-specific language embedded in Haskell, for programming efficient hybrid (mixed discrete-time and continuous-time) systems.

Size: 4.73 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/zipper-paper Fork of abolotina/zipper-paper

Language: TeX - Size: 3.98 MB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/windns Fork of haskell-hvr/windns

Domain Name Service (DNS) lookup via the Windows dnsapi standard library

Size: 33.2 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/www.haskell.org Fork of haskell-infra/www.haskell.org

www.haskell.org site source

Size: 2.03 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/test-cabal-script-win

Language: Haskell - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/wiwinwlh Fork of sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

Size: 9.28 MB - Last synced: about 2 months ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/women-in-programming-languages-research Fork of jeanqasaur/women-in-programming-languages-research

Women in Programming Languages and Software Engineering Research

Size: 184 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/ulysses4ever.github.io1

Personal HomePage

Language: CSS - Size: 398 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 2

ulysses4ever/ulysses4ever.github.io

Language: HTML - Size: 1.03 GB - Last synced: about 2 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

ulysses4ever/tfp2019-website Fork of wilbowma/tfp2019-website

TFP 2019 website source

Language: Racket - Size: 358 KB - Last synced: about 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/ThreadScope Fork of haskell/ThreadScope

A graphical tool for profiling parallel Haskell programs

Size: 45.3 MB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/ulysses.mmcs.sfedu.ru

HomePage site

Size: 976 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 6 - Forks: 1

ulysses4ever/tiger-test

Language: Haskell - Size: 27.3 KB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/Studying-Haskell-for-a-great-good Fork of Valoisa/Studying-Haskell-for-a-great-good

Language: Haskell - Size: 145 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/thesis-proposal

Language: TeX - Size: 1.03 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/tech-proposals Fork of haskellfoundation/tech-proposals

The Haskell Foundation Tech Proposal Process

Size: 24.4 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/Talks

Language: HTML - Size: 5.34 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/sasylf Fork of boyland/sasylf

Educational Proof Assistant for Type Theory

Size: 1.26 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/romantsegelskyi.github.io Fork of RomanTsegelskyi/romantsegelskyi.github.io

Personal page

Language: CSS - Size: 1.28 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/ReproducibleResumeCV Fork of TinasheMTapera/ReproducibleResumeCV

A package/webpage to generate a reproducible resume and CV

Size: 67.1 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/sfedu_umk

Латех-шаблон для УМК/РПД в Южном федеральном университете.

Language: TeX - Size: 402 KB - Last synced: about 2 months ago - Pushed: over 8 years ago - Stars: 4 - Forks: 2

ulysses4ever/selective Fork of snowleopard/selective

Selective applicative functors

Language: TeX - Size: 146 KB - Last synced: about 2 months ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/rere Fork of phadej/rere

recursive regular expressions

Language: Haskell - Size: 91.8 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/reciples.github.io Fork of reciples/reciples.github.io

reciPL.es

Size: 2.54 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/really-small-backpack-example Fork of danidiaz/really-small-backpack-example

A really small example of the Backpack module system for Haskell

Size: 141 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/random-1 Fork of haskell/random

Random number library

Size: 5.31 MB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/pyelftools Fork of eliben/pyelftools

Parsing ELF and DWARF in Python

Language: Python - Size: 1.58 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/purduepl.github.io Fork of PurduePL/purduepl.github.io

A blog of Programming Languages Group @Purdue

Language: HTML - Size: 41.5 MB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

ulysses4ever/proto-lens Fork of google/proto-lens

API for protocol buffers using modern Haskell language and library patterns.

Language: Haskell - Size: 1.08 MB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/pplatex Fork of stefanhepp/pplatex

Pretty-Print LaTeX: A tool to reformat the output of latex and friends into readable messages

Size: 92.8 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/prl-prg.github.io Fork of PRL-PRG/prl-prg.github.io

Language: CSS - Size: 17.2 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/popl2018-papers Fork of gasche/popl2018-papers

Link to preprints for POPL'18 and colocated events

Size: 52.7 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/pl-conf

Список конференций по языкам программирования (и связанное)

Size: 17.6 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 8 - Forks: 1

ulysses4ever/Pkg.jl Fork of JuliaLang/Pkg.jl

Pkg - Package manager for the Julia programming language

Language: Julia - Size: 29.5 MB - Last synced: about 2 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

ulysses4ever/plt Fork of steshaw/plt

Programming Language Theory

Language: CSS - Size: 109 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/plfa.github.io Fork of plfa/plfa.github.io

An introduction to programming language theory in Agda

Size: 91.1 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/plfa

SF-in-AGDA book exercises

Language: Agda - Size: 75.8 MB - Last synced: about 2 months ago - Pushed: 12 months ago - Stars: 0 - Forks: 0

ulysses4ever/pl-sem-jr-2017-summer

Language: Idris - Size: 3.91 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 1

ulysses4ever/nuprl-website Fork of nuprl/website

Source for website at

Language: Racket - Size: 66.3 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/markdown_monparsing Fork of geo2a/markdown-monparsing

Parsing markdown with Haskell

Language: Haskell - Size: 6.82 MB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/Parser_Combinators Fork of MaryVtyurina/Parser_Combinators

Language: Haskell - Size: 4.88 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/network Fork of haskell/network

Low-level networking interface

Language: Haskell - Size: 1.67 MB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/pandoc Fork of jgm/pandoc

Universal markup converter

Size: 56.3 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/nixpkgs Fork of NixOS/nixpkgs

Nix Packages collection

Size: 2.03 GB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/nix-pills Fork of NixOS/nix-pills

Language: Nix - Size: 401 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/noncomm-group-codes

Записки лекций по курсу «Коды на некоммутативных группах»

Language: Shell - Size: 496 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 2 - Forks: 1

ulysses4ever/mmcs-philosopy-2014 Fork of arwer13/mmcs-philosopy-2014

Записки по лекциям по философии, читаемым В. П. Муленко на Мехмате ЮФУ в 2014 г.

Size: 125 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/moodle-assignment-service

Language: PHP - Size: 152 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/moodle-assignment-client

Language: Python - Size: 125 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/megaparsec Fork of mrkkrp/megaparsec

Industrial-strength monadic parser combinator library

Size: 2.19 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/neat-interpolation Fork of nikita-volkov/neat-interpolation

A quasiquoter for neat and simple multiline text interpolation

Size: 58.6 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/mpickering.github.io Fork of mpickering/mpickering.github.io

Language: HTML - Size: 106 MB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/mmcs_sfedu_thesis Fork of bravit/mmcs_sfedu_thesis

Шаблон выпускной работы на Мехмате ЮФУ

Language: TeX - Size: 500 KB - Last synced: about 2 months ago - Pushed: almost 8 years ago - Stars: 0 - Forks: 0

ulysses4ever/missing-semester-rus.github.io Fork of missing-semester-rus/missing-semester-rus.github.io

Russian translation of the Missing Semester of Your CS Education 📚

Size: 4.58 MB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/md-html-moodle

Система публикации заданий в LMS Moodle

Language: Lua - Size: 105 KB - Last synced: about 2 months ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/ljdump Fork of ghewgill/ljdump

Livejournal archive utility

Language: Python - Size: 56.6 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/Luck Fork of QuickChick/Luck

Luck -- A Language for Property-Based Generators

Language: Haskell - Size: 148 KB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/ljxml2md

Transform LiveJournal XML data to Markdown

Language: Haskell - Size: 9.77 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/Monads.jl

Monadic expressions and sequences for Julia

Language: Julia - Size: 29.3 KB - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 30 - Forks: 12

ulysses4ever/JuliaPkgsList.jl Fork of julbinb/JuliaPkgsList.jl

Generates the list of the N most starred Julia packages

Size: 89.8 KB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/lexi-lambda.github.io Fork of lexi-lambda/lexi-lambda.github.io

Size: 2.41 MB - Last synced: about 2 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/linear-haskell-talk-2021

Language: HTML - Size: 299 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/lj-public

Size: 42 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/julia-type-stability-overview

Language: TeX - Size: 78.1 KB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/lemonidas.github.io Fork of lemonidas/lemonidas.github.io

Size: 24.8 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/json Fork of nlohmann/json

JSON for Modern C++

Language: C++ - Size: 363 KB - Last synced: about 2 months ago - Pushed: over 9 years ago - Stars: 0 - Forks: 0

ulysses4ever/julia Fork of JuliaLang/julia

The Julia Language: A fresh approach to technical computing.

Language: Julia - Size: 384 MB - Last synced: about 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

ulysses4ever/jl-data Fork of gailin-p/jl-data

Julia projects pulled from github to perform analysis

Size: 831 MB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/janvitek.github.io Fork of janvitek/janvitek.github.io

Jan Vitek's home page

Size: 1.29 GB - Last synced: about 2 months ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/icfp2019-papers Fork of llelf/icfp2019-papers

ICFP 2019 preprints/papers

Size: 22.5 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/icfp2020-papers Fork of llelf/icfp2020-papers

Size: 76.2 KB - Last synced: about 2 months ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

ulysses4ever/inspection-testing Fork of nomeata/inspection-testing

Inspection Testing for Haskell

Language: Haskell - Size: 97.7 KB - Last synced: about 2 months ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/icfp2017-papers Fork of gasche/icfp2017-papers

Link to preprints for ICFP'17 and colocated events

Size: 10.7 KB - Last synced: about 2 months ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/hu

Size: 2.93 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/hopl-s2017 Fork of nuprl/hopl-s2017

History of Programming Languages, Spring 2017

Language: TeX - Size: 64.3 MB - Last synced: about 2 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/HaskellSchool Fork of haskellfoundation/HaskellSchool

Size: 13.4 MB - Last synced: about 2 months ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/HsYAML Fork of haskell-hvr/HsYAML

YAML 1.2 implementation in pure Haskell

Size: 351 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/hashtag-coerce Fork of mpickering/hashtag-coerce

A GHC source plugin which detects opportunities to use coerce

Language: Haskell - Size: 5.86 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/hmpfr Fork of michalkonecny/hmpfr

Haskell binding to the MPFR library

Language: Haskell - Size: 128 KB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/hecklist Fork of tonyday567/checklist

How I start Haskell.

Size: 125 KB - Last synced: about 2 months ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/hs-network-fail-ghc96-windows

Size: 0 Bytes - Last synced: about 2 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/hs-clbg

Language: Haskell - Size: 7.49 MB - Last synced: about 2 months ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/haskellweekly Fork of haskellweekly/haskellweekly

Publishes curated news about the Haskell programming language.

Size: 3.49 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/haskell.nix Fork of input-output-hk/haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

Size: 4.29 MB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

ulysses4ever/haskell-ci Fork of haskell-CI/haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Size: 1.78 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/haddock Fork of haskell/haddock

Haskell Documentation Tool

Language: HTML - Size: 15.6 MB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 0

ulysses4ever/HAPL

Array programming (as in APL) with Haskell type magic (cf. Gibbons 2016)

Language: Haskell - Size: 97.7 KB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/happy-meta 📦

Size: 50.8 KB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/ghgrabber Fork of PRL-PRG/ghgrabber

A small script to retrieve information from GitHub using cloning.

Language: Fortran - Size: 360 MB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

ulysses4ever/hackage-security Fork of haskell/hackage-security

Hackage security framework based on TUF (The Update Framework)

Language: Haskell - Size: 1.18 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

ulysses4ever/ghcid Fork of ndmitchell/ghcid

Very low feature GHCi based IDE

Language: Haskell - Size: 627 KB - Last synced: about 2 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

ulysses4ever/ght-pipeline Fork of reactorlabs/ght-pipeline

Language: C++ - Size: 84 KB - Last synced: about 2 months ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

ulysses4ever/gramps-pele

Language: Dockerfile - Size: 1.95 KB - Last synced: about 2 months ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

ulysses4ever/ghc-proposals Fork of ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language: Python - Size: 661 KB - Last synced: about 2 months ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 1

ulysses4ever/geo2a.github.io Fork of geo2a/geo2a.github.io

Language: CSS - Size: 3.3 MB - Last synced: about 2 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0