bjartem

bjartem's Stars

• maximedenes/coq-amd64

  Language:Coq224

• peikexin9/deepxplore

  DeepXplore code release

  Language:Python395146

• jwiegley/coq-haskell

  A library for formalizing Haskell types and functions in Coq

  Language:Coq16810

• hephaestus-pl/coqfj

  A mechanized proof of type safety for Featherweight Java using Coq

  Language:Coq161

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp35128

• adampetcher/fcf

  Foundational Cryptography Framework for machine-checked proofs of cryptography.

  Language:Coq4923

• chris-blay/bazel

  Bazel WORKSPACE, BUILD, and .bzl configs for external dependencies.

  Language:Python1

• Zeta36/chess-alpha-zero

  Chess reinforcement learning by AlphaGo Zero methods.

  Language:Jupyter Notebook2.1k481

• spacejam/tla-rust

  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

  Language:TLA1k26

• OlivierNicole/haskell-chess

  A very simple chess engine written in Haskell (work in progress).

  Language:Haskell185

• spell-music/csound-expression

  Haskell Framework for Electronic Music

  Language:Haskell32331

• sseefried/open-epidemic-game

  A game about exponential growth written in Haskell

  Language:Haskell313

• Frege/frege

  Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

  Language:Frege3.6k145

• lichess-org/lichobile

  lichess.org mobile application

  Language:TypeScript2.1k318

• diffblue/cbmc

  C Bounded Model Checker

  Language:C++872270

• reflex-frp/reflex-dom

  Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pure functional interface.

  Language:Haskell361144

• haskell/haskell-mode

  Emacs mode for Haskell

  Language:Emacs Lisp1.3k343

• noiseprotocol/noise_spec

  Noise Specification

  Language:HTML45036

• tautschnig/cprover-debian

  Experiments on all Debian Packages using cprover.org Tools

  Language:Roff6

• valderman/haste-compiler

  A GHC-based Haskell to JavaScript compiler

  Language:Haskell1.4k111

• cmderdev/cmder

  Lovely console emulator package for Windows

  Language:C++26.1k2k

• rtyley/spongycastle

  Spongy Castle - a repackage of Bouncy Castle for Android (which ships a crippled version of BC)

  Language:Java688140

• panda-re/panda

  Platform for Architecture-Neutral Dynamic Analysis

  Language:C2.5k481

• Hightor/gitinfo2

  CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents

  Language:TeX439

• OP-TEE/optee_os

  Trusted side of the TEE

  Language:C1.6k1.1k

• pah/git-credential-helper

  A set of Git credential helpers (gnome-keyring, osxkeychain, generic implementation) to be contributed to Git at some appropriate time in the future

  Language:C143

• wyvernlang/wyvern

  The Wyvern programming language.

  Language:Java55765

• licel/jcardsim

  Language:Java229125

• rohanpadhye/vasco

  An inter-procedural data-flow analysis framework using value-based context sensitivity

  Language:Java8935

• lamdu/lamdu

  lamdu - towards the next generation IDE

  Language:Haskell1.9k71