xavikick's Stars
microsoft/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
apple/swift
The Swift Programming Language
Developer-Y/cs-video-courses
List of Computer Science courses with video lectures.
tmux/tmux
tmux source code
adobe-fonts/source-code-pro
Monospaced font family for user interface and coding environments
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…)
scala/scala3
The Scala 3 compiler, also known as Dotty.
i-tu/Hasklig
Hasklig - a code font with monospaced ligatures
typelevel/cats
Lightweight, modular, and extensible library for functional programming.
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.
elixirschool/elixirschool
The content behind Elixir School
awesome-devblog/awesome-devblog
어썸데브블로그. 국내 개발/기술 블로그 모음(only 실명으로).
ianw/bottomupcs
Bottom Up Computer Science
fscheck/FsCheck
Random Testing for .NET
hzlmn/haskell-must-watch
Huge list of videos, talks, courses for Haskell programming language.
GaloisInc/HaLVM
The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
beark/ftl
C++ template library for fans of functional programming
begriffs/haskell-vim-now
One-line Haskell Vim install
Gabriella439/Haskell-Morte-Library
A bare-bones calculus-of-constructions
msr-quarc/Liquid
The Language-Integrated Quantum Operations (LIQUi|>) simulator
fsprojects-archive/zzarchive-VisualFSharpPowerTools
[ARCHIVED] Power commands for F# in Visual Studio
nemesit/SwiftBubble
Recreation of the soap bubble screen saver from apple's promotional videos for the new MacBook 12"
sweirich/dth
Examples of Dependently-typed programs in Haskell
GaloisInc/haskell-tor
A Haskell implementation of the Tor protocol.
idris-hackers/idris-vim
Idris mode for vim
ocharles/engine.io
A Haskell server implementation of the Engine.IO and Socket.IO (1.0) protocols
devxoul/allkdic
올ㅋ사전 - 맥에서 단축키를 누르면 영어사전이 뙇!!!!
markokoleznik/agda-writer
A simple GUI for Agda
kwakbab/clojure-style-guide
A community coding style guide for the Clojure programming language
BartoszMilewski/Calendar