xavikick

xavikick's Stars

• microsoft/TypeScript

  TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  Language:TypeScript100k2.1k40.8k12.4k

• apple/swift

  The Swift Programming Language

  Language:C++66.5k2.5k15.1k10.3k

• Developer-Y/cs-video-courses

  List of Computer Science courses with video lectures.

  66.4k1.9k1389k

• tmux/tmux

  tmux source code

  Language:C34.3k4253.4k2.1k

• adobe-fonts/source-code-pro

  Monospaced font family for user interface and coding environments

  Language:CSS19.8k6142471.6k

• PerfectlySoft/Perfect

  Server-side Swift. The Perfect core toolset and framework for Swift Developers. (For mobile back-end development, website and API development, and more…)

  Language:Swift13.8k594192945

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.8k2108.6k1k

• i-tu/Hasklig

  Hasklig - a code font with monospaced ligatures

  Language:Python5.6k81107156

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.2k1891.2k1.2k

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

• elixirschool/elixirschool

  The content behind Elixir School

  3.5k963581k

• awesome-devblog/awesome-devblog

  어썸데브블로그. 국내 개발/기술 블로그 모음(only 실명으로).

  3.5k13067732

• ianw/bottomupcs

  Bottom Up Computer Science

  Language:XSLT1.5k7520151

• fscheck/FsCheck

  Random Testing for .NET

  Language:F#1.2k44356155

• hzlmn/haskell-must-watch

  Huge list of videos, talks, courses for Haskell programming language.

  Language:Haskell1.1k82058

• GaloisInc/HaLVM

  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

  Language:Haskell1k8410188

• beark/ftl

  C++ template library for fans of functional programming

  Language:C++991731269

• begriffs/haskell-vim-now

  One-line Haskell Vim install

  Language:Shell98929199101

• Gabriella439/Haskell-Morte-Library

  A bare-bones calculus-of-constructions

  Language:Haskell372264725

• msr-quarc/Liquid

  The Language-Integrated Quantum Operations (LIQUi|>) simulator

  34871070

• fsprojects-archive/zzarchive-VisualFSharpPowerTools

  [ARCHIVED] Power commands for F# in Visual Studio

  Language:F#3104877777

• nemesit/SwiftBubble

  Recreation of the soap bubble screen saver from apple's promotional videos for the new MacBook 12"

  Language:Swift300131419

• sweirich/dth

  Examples of Dependently-typed programs in Haskell

  Language:Haskell29917226

• GaloisInc/haskell-tor

  A Haskell implementation of the Tor protocol.

  Language:Haskell270272719

• idris-hackers/idris-vim

  Idris mode for vim

  Language:Vim Script221335052

• ocharles/engine.io

  A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols

  Language:Haskell149122428

• devxoul/allkdic

  올ㅋ사전 - 맥에서 단축키를 누르면 영어사전이 뙇!!!!

  Language:Swift132143728

• markokoleznik/agda-writer

  A simple GUI for Agda

  Language:Objective-C316322

• kwakbab/clojure-style-guide

  A community coding style guide for the Clojure programming language

  30416

• BartoszMilewski/Calendar

  Language:Haskell7501