Alexey Nikolaev a-nikolaev

## CoC.ml
(* The syntax of our calculus. Notice that types are represented in the same way
   as terms, which is the essence of CoC. *)
type term =
  | Var of string
  | Appl of term * term
  | Binder of binder * string * term * term
  | Star
  | Box

and binder = Lam | Pi

## LICENSE
Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"), to deal
in the Software without restriction, including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
copies of the Software, and to permit persons to whom the Software is
furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall be included in
all copies or substantial portions of the Software.

## README.md

      
              1 file
            
          
              3 forks
            
          
              18 comments
            
          
              52 stars
            
          
                skeeto
                / README.md
            
            
              Last active
              December 20, 2021 14:00
            
              
                AI driving simulation
              
          
    Moved to skeeto/scratch/aidrivers

  
## common-domain-prefix-suffix-list.tsv

          
            Rank
            Type
            Prefix/Suffix
            Length

            
              1
              Prefix
              my+
              2

            
              2
              Suffix
              +online
              6

            
              3
              Prefix
              the+
              3

            
              4
              Suffix
              +web
              3

            
              5
              Suffix
              +media
              5

            
              6
              Prefix
              web+
              3

            
              7
              Suffix
              +world
              5

            
              8
              Suffix
              +net
              3

            
              9
              Prefix
              go+
              2

## DefaultKeyBinding.dict
/*
PUT THIS FILE IN ~/Library/KeyBindings/DefaultKeyBinding.dict
This file remaps the key bindings of a single user on Mac OS X 10.5 to more closely
match default behavior on Windows systems.  This particular mapping assumes
that you have also switched the Control and Command keys already.

This key mapping is more appropriate after switching Ctrl for Command in this menu:
Apple->System Preferences->Keyboard & Mouse->Keyboard->Modifier Keys...->
Change Control Key to Command
Change Command key to Control

## STREAMDECK_HID.md

      
              1 file
            
          
              5 forks
            
          
              15 comments
            
          
              50 stars
            
          
                cliffrowley
                / STREAMDECK_HID.md
            
            
              Last active
              February 20, 2024 06:24
            
              
                Notes on the Stream Deck HID protocol
              
          
    Stream Deck Protocol

How to interface with a Stream Deck device.
Synopsis

The device uses the HID protocol to communicate with its software.
Configuration


## kafka-cheat-sheet.md

      
              1 file
            
          
              135 forks
            
          
              18 comments
            
          
              416 stars
            
          
                ursuad
                / kafka-cheat-sheet.md
            
            
              Last active
              March 14, 2024 10:32
            
              
                Quick command reference for Apache Kafka
              
          
    Kafka Topics

List existing topics

bin/kafka-topics.sh --zookeeper localhost:2181 --list
Describe a topic

bin/kafka-topics.sh --zookeeper localhost:2181 --describe --topic mytopic 
Purge a topic

bin/kafka-topics.sh --zookeeper localhost:2181 --alter --topic mytopic --config retention.ms=1000
... wait a minute ...

  
## Makefile
# Hello, and welcome to makefile basics.
#
# You will learn why `make` is so great, and why, despite its "weird" syntax,
# it is actually a highly expressive, efficient, and powerful way to build
# programs.
#
# Once you're done here, go to
# http://www.gnu.org/software/make/manual/make.html
# to learn SOOOO much more.

## commands.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              1 star
            
          
                lucasrowe
                / commands.md
            
            
              Last active
              October 4, 2016 07:25
            
              
                Gif conversion from .mov
              
          
    Gif Conversion from .mov

One day I'll convert this into a handy script to quickly convert our .mov files. Until then I'll record all my conversion tasks here.
Here's a better writeup https://gist.github.com/dergachev/4627207
-- I just wanted one specific to my needs
Or here http://blog.room208.org/post/48793543478
Examples


## mips.sty
% MIPS Assembly language definition for the LaTeX `listings' package
%
% The list of instructions and directives are those understood by the
% MARS MIPS Simulator [http://courses.missouristate.edu/KenVollmar/MARS/]
%
% Author: Eric Walkingshaw <eric@walkingshaw.net>
%
% This code is in the public domain.
%
% Here is an example style. I like it for slides, but you might want
	(* The syntax of our calculus. Notice that types are represented in the same way
	as terms, which is the essence of CoC. *)
	type term =
	\| Var of string
	\| Appl of term * term
	\| Binder of binder * string * term * term
	\| Star
	\| Box

	and binder = Lam \| Pi
	Permission is hereby granted, free of charge, to any person obtaining a copy
	of this software and associated documentation files (the "Software"), to deal
	in the Software without restriction, including without limitation the rights
	to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
	copies of the Software, and to permit persons to whom the Software is
	furnished to do so, subject to the following conditions:

	The above copyright notice and this permission notice shall be included in
	all copies or substantial portions of the Software.
Rank	Type	Prefix/Suffix	Length
1	Prefix	my+	2
2	Suffix	+online	6
3	Prefix	the+	3
4	Suffix	+web	3
5	Suffix	+media	5
6	Prefix	web+	3
7	Suffix	+world	5
8	Suffix	+net	3
9	Prefix	go+	2
	/*
	PUT THIS FILE IN ~/Library/KeyBindings/DefaultKeyBinding.dict
	This file remaps the key bindings of a single user on Mac OS X 10.5 to more closely
	match default behavior on Windows systems. This particular mapping assumes
	that you have also switched the Control and Command keys already.

	This key mapping is more appropriate after switching Ctrl for Command in this menu:
	Apple->System Preferences->Keyboard & Mouse->Keyboard->Modifier Keys...->
	Change Control Key to Command
	Change Command key to Control
	# Hello, and welcome to makefile basics.
	#
	# You will learn why `make` is so great, and why, despite its "weird" syntax,
	# it is actually a highly expressive, efficient, and powerful way to build
	# programs.
	#
	# Once you're done here, go to
	# http://www.gnu.org/software/make/manual/make.html
	# to learn SOOOO much more.
	% MIPS Assembly language definition for the LaTeX `listings' package
	%
	% The list of instructions and directives are those understood by the
	% MARS MIPS Simulator [http://courses.missouristate.edu/KenVollmar/MARS/]
	%
	% Author: Eric Walkingshaw <eric@walkingshaw.net>
	%
	% This code is in the public domain.
	%
	% Here is an example style. I like it for slides, but you might want